Experience with the SETL Optimizer

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Experience with the SETL Optimizer

Full text

Pdf (1.43 MB)

Source

ACM Transactions on Programming Languages and Systems (TOPLAS) archive
Volume 5 , Issue 1 (January 1983) table of contents

Pages: 26 - 45

Year of Publication: 1983

ISSN:0164-0925

Authors

Stefan M. Freudenberger	Department of Computer Science, Courant Institute of Mathematical Sciences, New York University, 251 Mercer Street, New York, NY
Jacob T. Schwartz	Department of Computer Science, Courant Institute of Mathematical Sciences, New York University, 251 Mercer Street, New York, NY
Micha Sharir	Department of Mathematics, Tel-Aviv University, Ramat-Aviv, Tel Aviv 69978, Israel

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 34, Citation Count: 14

Additional Information:

references cited by index terms 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/357195.357197 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	Alfred V. Aho , John E. Hopcroft, The Design and Analysis of Computer Algorithms, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1974
	2	A~o, A.V., A~o ULLMAN, J.D. Principles of Compiler Design. Addison-Wesley, Reading, Mass., 1977.
	3	ALLEN, F.E. Program optimization. In Annu. Rev. Autom. Program. 5 (1969), 239-307.
	4	John Cocke, Programming languages and their compilers: Preliminary notes, Courant Institute of Mathematical Sciences, New York University, 1969
	5	Robert K. Dewar , Arthur and Ssu-Cheng Liu and Jacob T. Schwartz and Edmond Schonberg, Programming by Refinement, as Exemplified by the SETL Representation Sublanguage, ACM Transactions on Programming Languages and Systems (TOPLAS), v.1 n.1, p.27-49, July 1979 [doi>10.1145/357062.357064]
	6	Robert B.K. Dewar , Edmond Schonberg, The elements of SETL style., Proceedings of the 1979 annual conference, p.24-32, January 1979 [doi>10.1145/800177.810021]
	7	DEWAR, R.B.K., SCHONBERG, E., AND SCHWARTZ, J.T. Higher Level Programming: Introduction to the Use of the Set-Theoretic Programming Language SETL. Courant Inst. of Mathematical Sciences, New York Univ., New York, 1981.
	8	Matthew S. Hecht, Flow Analysis of Computer Programs, Elsevier Science Inc., New York, NY, 1977
	9	Neil D. Jones , Steven S. Muchnick, Binding time optimization in programming languages: Some thoughts toward the design of an ideal language, Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages, p.77-94, January 19-21, 1976, Atlanta, Georgia [doi>10.1145/800168.811542]
	10	KAPLAN, M.A. Relational data flow analysis. Tech. Rep. TR-243, Dep. of Electrical Engineering and Computer Science, Princeton Univ., Princeton, N.J., Apr. 1978.
	11	Marc A. Kaplan , Jeffrey D. Ullman, A general scheme for the automatic inference of variable types, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.60-75, January 23-25, 1978, Tucson, Arizona [doi>10.1145/512760.512768]
	12	KENNEDY, K.W. A survey of data flow analysis techniques. In Program Flow Analysis, S.S. Muchnick and N.D. Jones (Eds.). Prentice-Hall, Englewood Cliffs, N.J., 1981, pp. 5-54.
	13	Donald E. Knuth, The art of computer programming, volume 1 (3rd ed.): fundamental algorithms, Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 1997
	14	Steven S. Muchnick , Neil D. Jones, Program Flow Analysis: Theory and Application, Prentice Hall Professional Technical Reference, 1981
	15	Edmond Schonberg , Jacob T. Schwartz , Micha Sharir, An Automatic Technique for Selection of Data Representations in SETL Programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.2, p.126-143, April 1981 [doi>10.1145/357133.357135]
	16	SCHWARTZ, J.T. On Programming: An Interim Report on the SETL Project, 2d ed. Courant Inst. of Mathematical Sciences, New York Univ., New York, 1975.
	17	SCHWARTZ, J.T. Optimization of very high level languages. J. Comput. Lang. (1975), 161-194, 197-218.
	18	SCHWARTZ, J.T. Use-use chaining as a technique in type-finding. SETL Newsl. 140, Courant Inst. of Mathematical Sciences, New York Univ., New York, 1975.
	19	SCHWARTZ, J.T., AND SHARm, M. A design for optimizations of the bitvectoring class. Courant Computer Science Rep. 17, Courant Inst. of Mathematical Sciences, New York Univ., New York, 1979.
	20	TARJAN, R.E. Testing flow graph reducibility. J. Comput. Syst. Sci. 9 (1974), 355-365.
	21	TENENBAUM, A.M. Type determination for very high level languages. Courant Computer Science Pep. 3, Courant Inst. of Mathematical Sciences, New York Univ., New York, 1974.
	22	TsuI, W.H. A reformulation of value flow analysis. SETL Newsl. 181, Courant Inst. of Mathematical Sciences, New York Univ., New York, 1977.
	23	Niklaus Wirth, Algorithms & data structures, Prentice-Hall, Inc., Upper Saddle River, NJ, 1985

CITED BY 14

	R. Bagrodia , K. M. Chandy , E. Kwan, UC: a language for the connection machine, Proceedings of the 1990 conference on Supercomputing, p.525-534, October 1990, New York, New York, United States
	Fritz Henglein, Global tagging optimization by type inference, ACM SIGPLAN Lisp Pointers, v.V n.1, p.205-215, Jan. 1992
	Jiazhen Cai , Robert Paige, Towards increased productivity of algorithm implementation, ACM SIGSOFT Software Engineering Notes, v.18 n.5, p.71-78, Dec. 1993
	Pedro C. Diniz , Martin C. Rinard, Eliminating synchronization overhead in automatically parallelized programs using dynamic feedback, ACM Transactions on Computer Systems (TOCS), v.17 n.2, p.89-132, May 1999
	Rajive Bagrodia , Sharad Mathur, Efficient Implementation of high-level parallel programs, ACM SIGARCH Computer Architecture News, v.19 n.2, p.142-151, Apr. 1991
	Michael Burke, An interval-based approach to exhaustive and incremental interprocedural data-flow analysis, ACM Transactions on Programming Languages and Systems (TOPLAS), v.12 n.3, p.341-395, July 1990
	Pedro C. Diniz , Martin C. Rinard, Dynamic feedback: an effective technique for adaptive computing, ACM SIGPLAN Notices, v.32 n.5, p.71-84, May 1997
	David F. Bacon , Susan L. Graham , Oliver J. Sharp, Compiler transformations for high-performance computing, ACM Computing Surveys (CSUR), v.26 n.4, p.345-420, Dec. 1994
	Richard C. Waters, Program Translation Via Abstraction and Reimplementation, IEEE Transactions on Software Engineering, v.14 n.8, p.1207-1228, August 1988
	David Chase , Mark Wegman , F. Ken Zadeck, Analysis of pointers and structures, ACM SIGPLAN Notices, v.39 n.4, April 2004
	Tom Rothamel , Yanhong A. Liu, Efficient implementation of tuple pattern based retrieval, Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, January 15-16, 2007, Nice, France
	Kio C. Hyun , Ernst-Erich Doberkat, Inline expansion of SETL procedures, ACM SIGPLAN Notices, v.20 n.12, p.33-38, Dec. 1985
	S. T. Shebs , R. R. Kessler, Automatic design and implementation of language data types, ACM SIGPLAN Notices, v.22 n.7, p.26-37, July 1987
	Tom Rothamel , Yanhong A. Liu, Generating incremental implementations of object-set queries, Proceedings of the 7th international conference on Generative programming and component engineering, October 19-23, 2008, Nashville, TN, USA