Compiling inheritance using partial evaluation

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Compiling inheritance using partial evaluation

Full text

Pdf (819 KB)

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: 211 - 222

Year of Publication: 1991

ISBN:0-89791-433-3

Also published in ...

Authors

Siau Cheng Khoo	Yale University, Department of Computer Science, New Haven, CT
R. S. Sundaresh	Yale University, Department of Computer Science, New Haven, CT

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 11, Citation Count: 5

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

	CD91a	C. Consel and O. Danvy. For a better support of static data flow. Technical Report CIS-91-3, Kansas State University, Manhattan, Kansas, USA, 1991.
	CD91b	Charles Consel , Olivier Danvy, Static and dynamic semantics processing, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.14-24, January 21-23, 1991, Orlando, Florida, United States [doi>10.1145/99583.99588]
	CK90	C. Consel and S. C. Khoo. Semantics-directed generation of a prolog compiler. Research Report 781, Yale University, New Haven, Connecticut, USA, 1990.
	Con90a	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 [doi>10.1145/91556.91668]
	Con90b	C. Consel. The Schism Manual. Yale University, Department of Computer Science, November 1990.
	CP89	W. Cook , J. Palsberg, A denotational semantics of inheritance and its correctness, ACM SIGPLAN Notices, v.24 n.10, p.433-443, Oct. 1989
	CU89	C. Chambers , D. Ungar, Customization: optimizing compiler technology for SELF, a dynamically-typed object-oriented programming language, ACM SIGPLAN Notices, v.24 n.7, p.146-160, July 1989
	DF90	Olivier Danvy , Andrzej Filinski, Abstracting control, Proceedings of the 1990 ACM conference on LISP and functional programming, p.151-160, June 27-29, 1990, Nice, France [doi>10.1145/91556.91622]
	Fut71	Y. Futamura. Partial evaluation of computation process-an approach to a compilercompiler. Systems, Computers, Controls, 2(5), 1971.
	Jon80	Neil D. Jones, Semantics-Directed Compiler Generation: Proceedings, Springer-Verlag New York, Inc., Secaucus, NJ, 1980
	Mos76	P.D. Mosses. Compiler generation using denotational semantics, volume 45 of Lecture Notes in Computer Science, pages 436-441. 3pringer Verlag, 1976.
	Ple87	U. Pleban. Semantics-directed compiler generation. In A CM Symposium on Principles of Programming Languages, 1987. Tutorial.

CITED BY 5

	Anders Bondorf, Improving binding times without explicit CPS-conversion, ACM SIGPLAN Lisp Pointers, v.V n.1, p.1-10, Jan. 1992
	Charles Consel , Olivier Danvy, Tutorial notes on partial evaluation, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.493-501, March 1993, Charleston, South Carolina, United States
	Charles Consel , Julia L. Lawall , Anne-Françoise Le Meur, A tour of tempo: a program specializer for the C language, Science of Computer Programming, v.52 n.1-3, p.341-370, August 2004
	Scott Thibault , Charles Consel , Julia L. Lawall , Renaud Marlet , Gilles Muller, Static and Dynamic Program Compilation by Interpreter Specialization, Higher-Order and Symbolic Computation, v.13 n.3, p.161-178, Sept. 2000
	Renaud Marlet , Scott Thibault , Charles Consel, Efficient Implementations of Software Architectures via Partial Evaluation, Automated Software Engineering, v.6 n.4, p.411-440, October 1999