Globalization and live variables

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Globalization and live variables

Full text

Pdf (1.20 MB)

Source

ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation archive
Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation table of contents

New Haven, Connecticut, United States

Pages: 166 - 177

Year of Publication: 1991

ISBN:0-89791-433-3

Also published in ...

Authors

Carsten K. Gomard	DIKU, Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen ø, Denmark
Peter Sestoft	DIKU, Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen ø, Denmark

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 32, Citation Count: 7

Additional Information:

references cited by index terms collaborative colleagues peer to peer

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/115865.115882 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.

	Aho, Sethi, & Ullman 1986	Alfred V. Aho , Ravi Sethi , Jeffrey D. Ullman, Compilers: principles, techniques, and tools, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
	Bloss 1989	Adrienne Gael Bloss, Path analysis and the optimization of nonstrict functional languages, 1989
	Bondorf 1990	A. Bondorf, Automatic autoprojection of higher order recursive equations, Proceedings of the third European symposium on programming on ESOP '90, p.70-87, May 1990, Copenhagen, Denmark
	Johnsson 1985	Thomas Johnsson, Lambda lifting: transforming programs to recursive equations, Proc. of a conference on Functional programming languages and computer architecture, p.190-203, January 1985, Nancy, France
	Landin 1964	P.J. Landin. The Mechanical Evaluation of Expressions. Computer Journal, Vol. 6, No. 4, pp. 308-320, January 1964.
	Schmidt 1985	David A. Schmidt, Detecting global variables in denotational specifications, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.2, p.299-310, April 1985 [doi>10.1145/3318.3323]
	Sestoft 1988	Peter Sestoft. Replacing Function Parameters by Global Variables. M~ster's thesis, DIKU, University of Copenhagen, Denmark, October 1988.

CITED BY 7

	John Hannan , Patrick Hicks, Higher-order unCurrying, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.1-11, January 19-21, 1998, San Diego, California, United States
	Marc Neuberger , Prateek Mishra, A precise relationship between the deductive power of forward and backward strictness analysis, ACM SIGPLAN Lisp Pointers, v.V n.1, p.127-138, Jan. 1992
	Peter Thiemann, A safety analysis for functional languages, Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.133-144, June 14-16, 1993, Copenhagen, Denmark
	A. V. S. Sastry , William Clinger , Zena Ariola, Order-of-evaluation analysis for destructive updates in strict functional languages with flat aggregates, Proceedings of the conference on Functional programming languages and computer architecture, p.266-275, June 09-11, 1993, Copenhagen, Denmark
	A. V. S. Sastry , William Clinger, Parallel destructive updating in strict functional languages, ACM SIGPLAN Lisp Pointers, v.VII n.3, p.263-272, July-Sept. 1994
	Zhong Shao , Andrew W. Appel, Space-efficient closure representations, ACM SIGPLAN Lisp Pointers, v.VII n.3, p.150-161, July-Sept. 1994
	Zhong Shao , Andrew W. Appel, Efficient and safe-for-space closure conversion, ACM Transactions on Programming Languages and Systems (TOPLAS), v.22 n.1, p.129-161, Jan. 2000