Semantics directed compiling for functional languages

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Semantics directed compiling for functional languages

Full text

Pdf (638 KB)

Source

Conference on LISP and Functional Programming archive
Proceedings of the 1986 ACM conference on LISP and functional programming table of contents

Cambridge, Massachusetts, United States

Pages: 249 - 257

Year of Publication: 1986

ISBN:0-89791-200-4

Authors

Hanne R. Nielson	Institute of Electronic Systems, Aalborg University Centre, Strandvejen 19, 4 DK-9000 Aalborg C, Denmark
Flemming Neilson	Institute of Electronic Systems, Aalborg University Centre, Strandvejen 19, 4 DK-9000 Aalborg C, Denmark

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 16, Citation Count: 4

Additional Information:

references cited by 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/319838.319867 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.

	ASU85	Alfred V. Aho , Ravi Sethi , Jeffrey D. Ullman, Compilers: principles, techniques, and tools, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
	App85	Andrew W. Appel, Semantics-directed code generation, Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.315-324, January 14-16, 1985, New Orleans, Louisiana, United States [doi>10.1145/318593.318661]
	CAR84	Luca Cardelli, Compiling a functional language, Proceedings of the 1984 ACM Symposium on LISP and functional programming, p.208-217, August 06-08, 1984, Austin, Texas, United States [doi>10.1145/800055.802037]
	CCM85	G. Cousineau , P. L. Curien , M. Mauny, The categorical abstract machine, Proc. of a conference on Functional programming languages and computer architecture, p.50-64, January 1985, Nancy, France
	ChJ82	H. Christiansen, N.D. Jones: Control Flow Treatment in a Simple Semantics-Directed Compiler Generator, in: Formal Description of Programming Concepts II (ed: D. BJ~rner), North-Holland, 1982.
	Cli84	William Clinger, The scheme 311 compiler an exercise in denotational semantics, Proceedings of the 1984 ACM Symposium on LISP and functional programming, p.356-364, August 06-08, 1984, Austin, Texas, United States [doi>10.1145/800055.802052]
	Geo84	Michael Georgeff, Transformations and reduction strategies for typed lambda expressions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.4, p.603-631, Oct. 1984 [doi>10.1145/1780.1803]
	Gor79	Michael J. C. Gordon, The Denotational Description of Programming Languages: An Introduction, Springer-Verlag New York, Inc., Secaucus, NJ, 1979
	Hug82	R. J. M. Hughes, Super-combinators a new implementation method for applicative languages, Proceedings of the 1982 ACM symposium on LISP and functional programming, p.1-10, August 15-18, 1982, Pittsburgh, Pennsylvania, United States [doi>10.1145/800068.802129]
	JoS80	Neil D. Jones , David A. Schmidt, Compiler generation from denotational semantics, Semantics-Directed Compiler Generation, Proceedings of a Workshop, p.70-93, January 14-18, 1980
	Lan64	P.J. Landin: The Mechanical Evaluation of Expressions, in: Comput. Journal vol. 6, No. 4, 1964.
	Mos79	P.D. Mosses: SIS-Semantics Implementation System: Reference Manual and User Guide, Aarhus University, 1979.
	Nie85a	Flemming Nielson, Program transformations in a denotational setting, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.3, p.359-379, July 1985 [doi>10.1145/3916.3917]
	Nie85b	F. Nielson: Tensor Products Generalize the Relational Data Flow Analysis Method, in: Proceedings from the 4'th Hungarian Computer Science Conference, 1985.
	Nie86a	F Nielson, Abstract interpretation of denotational definitions, 3rd annual symposium on theoretical aspects of computer science on STACS 86, p.1-20, January 1986, Orsay, France
	Nie86b	Flemming Nielson, Expected forms of data flow analyses, Programs as Data Objects, Proceedings of a Workshop, p.172-191, October 17-19, 1985
	Nie86c	F. Nielson: Strictness Analysis and Abstract Interpretation of Denotational Definitions, typescript, 1986.
	Nie86d	F Nielson, Correctness of code generation from a two-level meta-language, Proc. of the European symposium on programming on ESOP 86, p.30-40, March 1986, Saarbru:9Aicken, Germany
	Nie87	F. Nielson: Towards a Denotational Theory of Abstract Interpretation, typescript. To appear in: Abstract Interpretation of Declarative Languages (ed: S. Abramsky, C. ~ankin), 1987.
	NiN86a	H R Nielson , F Nielson, Pragmatic aspects of two-level denotatonal meta-languages, Proc. of the European symposium on programming on ESOP 86, p.133-143, March 1986, Saarbru:9Aicken, Germany
	NiN86b	P. Nielson, H.R. Nielson: Code Generation from Two-Level Denotational Meta Languages, in: Proceedings from Programs as Data Objects, Springer Lecture Notes in Computer Science vol. 217, 1986.
	NiN86c	H.R. Nielson, F. Nielson: A Tutorial on TML, the meta language of the PSI project, typescript, L986.
	Pau84	Lawrence Paulson, Compiler generation from denotational semantics, Methods and tools for compiler construction, Cambridge University Press, New York, NY, 1984
	Ras82	Martin R. Raskovsky, Denotational semantics as a specification of code generators, Proceedings of the 1982 SIGPLAN symposium on Compiler construction, p.230-244, June 23-25, 1982, Boston, Massachusetts, United States
	Set83	Ravi Sethi, Control Flow Aspects of Semantics-Directed Compiling, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.4, p.554-595, Oct. 1983 [doi>10.1145/69575.357227]
	SmP82	M.B. Smyth, G.D. Plotkin: The categorytheoretic solution of recursive domain equations, SI~ J. Comput., vol. ll, No. 4, 1982.
	Sto77	J. Stoy: Denotational Semantics, The MIT Press, 1977.
	Ten81	R. D. Tennent, Principles of Programming Languages, Prentice Hall PTR, Upper Saddle River, NJ, 1981
	Tur79	D.R. Turner: A New Implementation Technique for Applicative Languages, in: Software-Prac. & Exper. 9:1, 1979.
	Wan82	Mitchell Wand, Deriving Target Code as a Representation of Continuation Semantics, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.3, p.496-517, July 1982 [doi>10.1145/357172.357179]

CITED BY 4

	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
	Hanne Riis Nielson , Flemming Nielson, Transformations on higher-order functions, Proceedings of the fourth international conference on Functional programming languages and computer architecture, p.129-143, September 11-13, 1989, Imperial College, London, United Kingdom
	F. Nielson , R. H. Nielson, Automatic binding time analysis for a typed &lgr;-calculus, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.98-106, January 10-13, 1988, San Diego, California, United States
	P. Lee , U. Pleban, A realistic compiler generator based on high-level semantics: another progress report, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.284-295, January 21-23, 1987, Munich, West Germany

Collaborative Colleagues:

Hanne R. Nielson: colleagues

Flemming Neilson: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player