Replacing function parameters by global variables

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Replacing function parameters by global variables

Full text

Pdf (1.83 MB)

Source

Functional Programming Languages and Computer Architecture archive
Proceedings of the fourth international conference on Functional programming languages and computer architecture table of contents

Imperial College, London, United Kingdom

Pages: 39 - 53

Year of Publication: 1989

ISBN:0-89791-328-0

Author

Peter Sestoft

DIKU, University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen, ø, Denmark

Sponsors

SIGARCH: ACM Special Interest Group on Computer Architecture
IFIP WG 2.8 : IFIP WG 2.8
SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 21, Citation Count: 24

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/99370.99374 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, Hudak 1988	Adrienne Bloss , Paul Hudak, Path Semantics, Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics, p.476-489, April 08-10, 1987
	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
	Jones, Sestoft, Søndergaard 1988	N.D. Jones, P. Sestoft and H. S0ndergaard. Mix: a self-applicable partial evaluator for experiments in compiler generation. Lisp and Symbolic Computation 2, 1 (1989) 9-50.
	Kastens 1987	Uwe Kastens, Lifetime analysis for attributes, Acta Informatica, v.24 n.6, p.633-651, November 1, 1987
	Kastens, Hutt, Zimmermann 1982	U. Kastens, B. Hutt and E. Zimmermann. Gag: A Practical Compiler Generator. Lecture Notes in Corr~uter Science 141 (1982) 156 pages.
	Kastens, Schmidt 1986	U Kastens , M Schmidt, Lifetime analysis for procedure parameters, Proc. of the European symposium on programming on ESOP 86, p.53-69, March 1986, Saarbru:9Aicken, Germany
	Mycroft 1981	A. Mycroft. Abstract Interpretation and Optimising Transformations for Applicative Programs. Ph.D. Thesis, Report CST-15-81,180 pages, Dept. Computer Science, University of Edinburgh, Scotland 1981.
	Peyton Jones 1987	Simon L. Peyton Jones, The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science), Prentice-Hall, Inc., Upper Saddle River, NJ, 1987
	Plotkin 1981	G.D. Plotkin. A Structural Approach to Operational Semantics. DAIMI Report FN-19, 172 pages, DAIMI, Aarhus University, Denmark 1981.
	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]
	Schmidt 1986a	D.A. Schmidt. Detecting Stack-Based Environments in Denotational Definitions. (Extended Version). Report TR-CS-86-3, 36 pages, Department of Computing & Information Sciences, Kansas State University, Kansas 1986.
	Schmidt 1986b	David A. Schmidt, Denotational semantics: a methodology for language development, William C. Brown Publishers, Dubuque, IA, 1986
	Sestoft 1988	P. Sestoft. Replacing Function Parameters by Global Variables. M. Sc. thesis 88-7-2, 107 pages, D IKU, University of Copenhagen, Denmark 1988.

CITED BY 24

	Maryam Emami , Rakesh Ghiya , Laurie J. Hendren, Context-sensitive interprocedural points-to analysis in the presence of function pointers, ACM SIGPLAN Notices, v.29 n.6, p.242-256, June 1994
	Olivier Danvy , Karoline Malmkjær , Jens Palsberg, Eta-expansion does The Trick, ACM Transactions on Programming Languages and Systems (TOPLAS), v.18 n.6, p.730-751, Nov. 1996
	Karoline Malmkjær, Towards efficient partial evaluation, Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.33-43, June 14-16, 1993, Copenhagen, Denmark
	Charles Consel, Polyvariant binding-time analysis for applicative languages, Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.66-77, June 14-16, 1993, Copenhagen, Denmark
	Fritz Henglein, Global tagging optimization by type inference, ACM SIGPLAN Lisp Pointers, v.V n.1, p.205-215, Jan. 1992
	Alan Deutsch, On determining lifetime and aliasing of dynamically allocated data in higher-order functional specifications, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.157-168, December 1989, San Francisco, California, United States
	Michael Sperber , Peter Thiemann, Realistic compilation by partial evaluation, ACM SIGPLAN Notices, v.31 n.5, p.206-214, May 1996
	Zena M. Ariola , Amr Sabry, Correctness of monadic state: an imperative call-by-need calculus, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.62-74, January 19-21, 1998, San Diego, California, United States
	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
	Michael Hind , Michael Burke , Paul Carini , Jong-Deok Choi, Interprocedural pointer alias analysis, ACM Transactions on Programming Languages and Systems (TOPLAS), v.21 n.4, p.848-894, July 1999
	Charles Consel, Binding time analysis for high order untyped functional languages, Proceedings of the 1990 ACM conference on LISP and functional programming, p.264-272, June 27-29, 1990, Nice, France
	J. Michael Ashley , Charles Consel, Fixpoint computation for polyvariant static analyses of higher-order applicative programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.5, p.1431-1448, Sept. 1994
	Christian Mossin, Higher-order value flow graphs, Nordic Journal of Computing, v.5 n.3, p.214-234, Fall 1998
	Olivier Danvy , Ulrik P. Schultz, Lambda-dropping: transforming recursive equations into programs with block structure, ACM SIGPLAN Notices, v.32 n.12, p.90-106, Dec. 1997
	Alain Deutsch, On the complexity of escape analysis, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.358-371, January 15-17, 1997, Paris, France
	Carsten K. Gomard, A self-applicable partial evaluator for the lambda calculus: correctness and pragmatics, ACM Transactions on Programming Languages and Systems (TOPLAS), v.14 n.2, p.147-172, April 1992
	Olin Shivers, The semantics of Scheme control-flow analysis, ACM SIGPLAN Notices, v.26 n.9, p.190-198, Sept. 1991
	S. Purushothaman , Jill Seaman, From operational definitions to abstract semantics, Proceedings of the conference on Functional programming languages and computer architecture, p.276-285, June 09-11, 1993, Copenhagen, Denmark
	Alain Deutsch, Semantic models and abstract interpretation techniques for inductive data structures and pointers, Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.226-229, June 21-23, 1995, La Jolla, California, United States
	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
	Tachio Terauchi , Alex Aiken, Witnessing side effects, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.3, p.1-42, May 2008
	David A. Schmidt, Trace-Based Abstract Interpretation of Operational Semantics, Lisp and Symbolic Computation, v.10 n.3, p.237-271, May 1998
	Pascal Fradet , Julien Mallet, Compilation of a specialized functional language for massively parallel computers, Journal of Functional Programming, v.10 n.6, p.561-605, November 2000
	David Van Horn , Harry G. Mairson, Relating complexity and precision in control flow analysis, ACM SIGPLAN Notices, v.42 n.9, September 2007