Single-pass generation of static single-assignment form for structured languages

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Single-pass generation of static single-assignment form for structured languages

Full text

Pdf (851 KB)

Source

ACM Transactions on Programming Languages and Systems (TOPLAS) archive
Volume 16 , Issue 6 (November 1994) table of contents

Pages: 1684 - 1698

Year of Publication: 1994

ISSN:0164-0925

Authors

Marc M. Brandis	ETH Zu¨rich, Zu¨rich, Switzerland
Hanspeter Mössenböck	Univ. of Linz, Linz, Austria

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 64, Downloads (12 Months): 148, Citation Count: 7

Additional Information:

references cited by index terms review collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/197320.197331 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	AHO, A. V., SETHI, R., AND ULLMAN, J.D. 1986. Compilers. Addison-Wesley, Reading, Mass.
	2	B. Alpern , M. N. Wegman , F. K. Zadeck, Detecting equality of variables in programs, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.1-11, January 10-13, 1988, San Diego, California, United States [doi>10.1145/73560.73561]
	3	BIRTWISTLE, G. M., DAHL, O.-J., MYHRHAUG, B., AND NYGAARD, K. 1979 Szmula Begtn. Studenthtteratur, Lund, Sweden.
	4	Ron Cytron , Jeanne Ferrante , Barry K. Rosen , Mark N. Wegman , F. Kenneth Zadeck, Efficiently computing static single assignment form and the control dependence graph, ACM Transactions on Programming Languages and Systems (TOPLAS), v.13 n.4, p.451-490, Oct. 1991 [doi>10.1145/115372.115320]
	5	Ron Cytron , Andy Lowry , F. Kenneth Zadeck, Code motion of control structures in high-level languages, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.70-85, January 01, 1986, St. Petersburg Beach, Florida [doi>10.1145/512644.512651]
	6	Thomas Lengauer , Robert Endre Tarjan, A fast algorithm for finding dominators in a flowgraph, ACM Transactions on Programming Languages and Systems (TOPLAS), v.1 n.1, p.121-141, July 1979 [doi>10.1145/357062.357071]
	7	Carl McConnell , Ralph E. Johnson, Using static single assignment form in a code optimizer, ACM Letters on Programming Languages and Systems (LOPLAS), v.1 n.2, p.152-160, June 1992 [doi>10.1145/151333.151368]
	8	Susan Horwitz , Jan Prins , Thomas Reps, Integrating noninterfering versions of programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.11 n.3, p.345-387, July 1989 [doi>10.1145/65979.65980]
	9	Richard Johnson , Keshav Pingali, Dependence-based program analysis, Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation, p.78-89, June 21-25, 1993, Albuquerque, New Mexico, United States
	10	Alexandru Nicolau , Roni Potasman , Haigeng Wang, Register Allocation, Renaming and Their Impact on Fine-Grain Parallelism, Proceedings of the Fourth International Workshop on Languages and Compilers for Parallel Computing, p.218-235, August 07-09, 1991
	11	B. K. Rosen , M. N. Wegman , F. K. Zadeck, Global value numbers and redundant computations, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.12-27, January 10-13, 1988, San Diego, California, United States [doi>10.1145/73560.73562]
	12	Mark N. Wegman , F. Kenneth Zadeck, Constant propagation with conditional branches, ACM Transactions on Programming Languages and Systems (TOPLAS), v.13 n.2, p.181-210, April 1991 [doi>10.1145/103135.103136]
	13	Niklaus Wirth, Programming in MODULA-2 (3rd corrected ed.), Springer-Verlag New York, Inc., New York, NY, 1985
	14	Martin Reiser , Niklaus Wirth, Programming in Oberon: steps beyond Pascal and Modula, ACM Press, New York, NY, 1992
	15	Michael Wolfe, Beyond induction variables, ACM SIGPLAN Notices, v.27 n.7, p.162-174, July 1992

CITED BY 7

	Jaejin Lee , Samuel P. Midkiff , David A. Padua, A Constant Propagation Algorithm for Explicitly Parallel Programs, International Journal of Parallel Programming, v.26 n.5, p.563-589, October 1998
	Arnaud Gotlieb , Bernard Botella , Michel Rueher, Automatic test data generation using constraint solving techniques, ACM SIGSOFT Software Engineering Notes, v.23 n.2, p.53-62, March 1998
	Christopher Lapkowski , Laurie J. Hendren, Extended SSA numbering: introducing SSA properties to languages with multi-level pointers, Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research, p.23, November 12-14, 1996, Toronto, Ontario, Canada
	Wolfram Amme , Niall Dalton , Jeffery von Ronne , Michael Franz, SafeTSA: a type safe and referentially secure mobile-code representation based on static single assignment form, ACM SIGPLAN Notices, v.36 n.5, p.137-147, May 2001
	Arnaud Gotlieb , Tristan Denmat , Bernard Botella, Goal-oriented test data generation for pointer programs, Information and Software Technology, v.49 n.9-10, p.1030-1044, September, 2007
	Quan Hoang Nguyen , Bernhard Scholz, Computing SSA Form with Matrices, Electronic Notes in Theoretical Computer Science (ENTCS), v.190 n.1, p.121-132, July, 2007
	Mihai Nica , Franz Wotawa, From constraint representations of sequential code and program annotations to their use in debugging, Proceeding of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence, p.797-798, June 27, 2008

INDEX TERMS

Primary Classification:
D. Software
D.3 PROGRAMMING LANGUAGES
D.3.3 Language Constructs and Features
Subjects: Control structures

Additional Classification:
D. Software
D.3 PROGRAMMING LANGUAGES
D.3.4 Processors
Subjects: Code generation; Compilers; Optimization

E. Data
E.1 DATA STRUCTURES
Subjects: Trees

General Terms:
Algorithms, Design, Languages

Keywords:
dominator tree, static single-assignment form, structured languages

REVIEW

"Frank Lawrence Friedman : Reviewer"

Issues related to generation of the static single-assignment (SSA) form of programs written using structured programming languages are discussed. The paper includes a brief introductory explanation of the SSA form, an explanation of the algori more...

Collaborative Colleagues:

Marc M. Brandis: colleagues

Hanspeter Mössenböck: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player