Completion semantics and interpreter generation

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Completion semantics and interpreter generation

Full text

Pdf (651 KB)

Source

Annual Symposium on Principles of Programming Languages archive
Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages table of contents

Albuquerque, New Mexico

Pages: 242 - 254

Year of Publication: 1982

ISBN:0-89791-065-6

Authors

Martin C. Henson	University of Essex
Raymond Turner	University of Essex

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

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

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/582153.582180 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	Gaudel, M. C. "Specification of Compilers as Abstract Data Type Representations in {3}, 1980.
	2	Henson, M. C. "Some Observations Concerning Congruence Proofs for the Operational Semantics Description of Programming Languages", CSM-36, University of Essex, 1981.
	3	Henson, M. C. "Proofs for Interpreters by Transformations of Semantic Specifications", CSM-37, University of Essex, 1981.
	4	Jones, N. (Ed.) Proc. of Aarhus Workshop on Semantics-directed Compiler Generation, Lect. Notes in Computer Science 94, 1980.
	5	Jones, N. & Schmidt. "Compiler Generation from Denotational Semantics", in {3}.
	6	Landin, P. "The Mechanical Evaluation of Expressions", pp. 308--20 Computer Journal, 6. 1964.
	7	Robert Milne , C. Strachey, A Theory of Programming Language Semantics, Halsted Press, New York, NY, 1977
	8	Mosses, P. D. "Compiler Generation using Denotational Semantics", Proc. Symp. on Math Fnds of Computer Science, Gdansk, Lect. Notes Comp. Science 45, 1976.
	9	Raskovsky, M. & Turner, R. "Compiler Generation and Denotational Semantics", Fundamentals of Computation Theory, 1979.
	10	Martin R. Raskovsky , Philip A. Collier, From standard to implementation denotational semantics, Semantics-Directed Compiler Generation, Proceedings of a Workshop, p.94-139, January 14-18, 1980
	11	Reynolds, J. "Definitional Interpreters for Higher-order Programming Languages", Proc. 25th ACM Nat. Conf., 1976.
	12	Stoy. "Denotational Semantics", MIT Press, 1977.
	13	Strachey, C. & Wadsworth, C. P. "Continuations, a Mathematical Semantics for Handling Full Jumps", PRG-11 Proj. Res. Group, Oxford, 1974.
	14	Turner, R. "Continuation Semantics, Completion Semantics and Congruence Proofs", CSM-40, University of Essex, 1981.

CITED BY

Martin R. Raskovsky, Denotational semantics as a specification of code generators, ACM SIGPLAN Notices, v.17 n.6, p.230-244, June 1982

Collaborative Colleagues:

Martin C. Henson: colleagues

Raymond Turner: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player