Techniques for partial evaluation of imperative languages

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Techniques for partial evaluation of imperative languages

Full text

Pdf (708 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: 94 - 105

Year of Publication: 1991

ISBN:0-89791-433-3

Also published in ...

Author

Uwe Meyer

AG Informatik/FB Mathematik, Justus-Liebig-Universität Giessen, Arndtstr. 2, W-6300 Giessen, Germany

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 19, Citation Count: 11

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.115876 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	M. A. Bulyonkov. Polyvariant mixed computation for analyzer programs. Acta Inf., (21), 1984.
	2	H. Curry. Grundlagen der kombinatorisehen Logik. Amer. J. Math., (52), 1930.
	3	A. P. Ershov, On mixed computation: Informal account of the strict and polyvariant computational schemes, Control Flow and Data Flow: concepts of distributed programming, Springer-Verlag New York, Inc., New York, NY, 1987
	4	A. P. Ershov , B. N. Ostrovski, Controlled mixed computation and its application to systematic development of language-oriented parsers, The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation, p.31-48, June 1987, Bad To:9Ailz, Germany
	5	Neil D. Jones , Peter Sestoft , Harald Sondergaard, An experiment in partial evaluation: the generation of a compiler generator, Proc. of the first international conference on Rewriting techniques and applications, p.124-140, December 1985, Dijon, France
	6	S. Kleene. Introduction to Metamathematics. D. van Nostrand, 1952.
	7	it. KrSger. Compiling of a generalized LISP-label-concept by partial evaluation. Reprint: Report 9002, AG Informatik, Universit~t Giet3en, 1990. Kiel 1982.
	8	H. KrSger and U. Meyer. Some new aspects of partial evaluation of imperative languages. Report 9004, AG Informatik, Universit~it GieBen, 1990. (Submitted for publication).
	9	Peter. Sestoft, The structure of a self-applicable partial evaluator, on Programs as data objects, p.257-281, April 1986, Copenhagen, Denmark

CITED BY 11

	Hidehiko Masuhara , Satoshi Matsuoka , Kenichi Asai , Akinori Yonezawa, Compiling away the meta-level in object-oriented concurrent reflective languages using partial evaluation, ACM SIGPLAN Notices, v.30 n.10, p.300-315, Oct. 17, 1995
	Dirk Dussart , John Hughes , Peter Thiemann, Type specialisation for imperative languages, ACM SIGPLAN Notices, v.32 n.8, p.204-216, Aug. 1997
	Vivek Nirkhe , William Pugh, Partial evaluation of high-level imperative programming languages with applications in hard real-time systems, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.269-280, January 19-22, 1992, Albuquerque, New Mexico, United States
	Jin Ying , Jin Chengzhi, Constraint-based partial evaluation for imperative languages, Journal of Computer Science and Technology, v.17 n.1, p.64-72, January 2002
	Mihnea Marinescu , Benjamin Goldberg, Partial-evaluation techniques for concurrent programs, ACM SIGPLAN Notices, v.32 n.12, p.47-62, Dec. 1997
	Manuvir Das , Thomas Reps , Pascal van Hentenryck, Semantic foundations of binding-time analysis for imperative programs, Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.100-110, June 21-23, 1995, La Jolla, California, United States
	Kenichi Asai , Hidehiko Masuhara , Akinori Yonezawa, Partial evaluation of call-by-value &lgr;-calculus with side-effects, ACM SIGPLAN Notices, v.32 n.12, p.12-21, Dec. 1997
	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
	Niels H. Christensen , Robert Glück, Offline partial evaluation can be as accurate as online partial evaluation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.1, p.191-220, January 2004
	Paul Kleinrubatscher , Albert Kriegshaber , Robert Zöchling , Robert Glück, Fortran program specialization, ACM SIGPLAN Notices, v.30 n.4, p.61-70, April 1995