Compiling actions by partial evaluation

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Compiling actions by partial evaluation

Full text

Pdf (925 KB)

Source

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

Copenhagen, Denmark

Pages: 308 - 317

Year of Publication: 1993

ISBN:0-89791-595-X

Authors

Anders Bondorf	Univ. of Copenhagen, Copenhagen, Denmark
Jens Palsberg	Aarhus Univ., Aarhus, 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): 10, Citation Count: 3

Additional Information:

references cited by index terms review 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/165180.165227 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	Lars Ole Andersen. Self-applicable C program speciaJizttion. In Proc. of Workshop on Partial Eval. uation and Semantics. Based Program Manipulation (PEPM'9~), pages 54-61, June 1992. (Technical Report YALEU/DCS/RR.909, Yale University).
	2	Anders Bondorf, Automatic autoprojection of higher order recursive equations, Science of Computer Programming, v.17 n.1-3, p.3-34, Dec. 1991
	3	Anders Bondorf, Improving binding times without explicit CPS-conversion, Proceedings of the 1992 ACM conference on LISP and functional programming, p.1-10, June 22-24, 1992, San Francisco, California, United States
	4	Anders Bondorf. Similiz 5.0 Manual DIKU, University of Copenhagen, Denmark, April 1993. Included in Similix 5.0 distribution.
	5	Anders Bondorf , Olivier Danvy, Automatic autoprojection of recursive equations with global variable and abstract data types, Science of Computer Programming, v.16 n.2, p.151-195, Sept. 1991 [doi>10.1016/0167-6423(91)90002-F]
	6	Deryck F. Brown , Hermano Moura , David A. Watt, Actress: An Action Semantics Directed Compiler Generator, Proceedings of the 4th International Conference on Compiler Construction, p.95-109, October 05-07, 1992
	7	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 [doi>10.1145/128861.128864]
	8	Jesper Jørgensen, Generating a compiler for a lazy language by partial evaluation, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.258-268, January 19-22, 1992, Albuquerque, New Mexico, United States [doi>10.1145/143165.143220]
	9	Peter Lee, Realistic compiler generation, MIT Press, Cambridge, MA, 1989
	10	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 [doi>10.1145/154630.154634]
	11	Peter D. Mosses. SIS--semantics implementation systern. Technical Report Daimi MD-30, Computer Science Department, Aarhus University, 1979. Out of print.
	12	P. D. Mosses, Unified algebras and action semantics, Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science on STACS 89, p.17-35, February 1989, Paderborn, Germany
	13	Peter D. Mosses. An introduction to action semantics. Technical Report DAIMI P B-370, Computer Science Department, Aarhus University, 1991. Lecture Notes for the Marktoberdorf'91 Summer School, to be published in the Proceedings of the Summer School by Springer-Verlag (Series F).
	14	Peter D. Mosses, Action semantics, Cambridge University Press, New York, NY, 1992
	15	Peter D. Mosses and David A. Watt. The use of action semantics. In Proc. IFIP TC~ Working Conference on Formal Description of Programming Concepts III (Gl. Avern~s, 1986), pages 135-163. North-Holland, 1987.
	16	Jens Palsberg. An automatically generated and provably correct compiler for a subset of Ads. In Proc. ICCL'9~, Fourth iEEE international Conference on Computer Languages, pages 117-126, Oakland, California, April 1992.
	17	Jens Palsberg. Provably Correct Compiler Generation. PhD thesis, Computer Science Department, Aarhus University, 1992.
	18	Jens Palsberg, A provably correct compiler generator, Symposium proceedings on 4th European symposium on programming, p.418-434, January 1992, Rennes, France
	19	Lawrence Paulson, A semantics-directed compiler generator, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.224-233, January 25-27, 1982, Albuquerque, Mexico [doi>10.1145/582153.582178]
	20	Mitchell Wa~d. Specifying the correctness of binding time analysis. Journal of Functional Programming, Special Issue on Partial Evaluation. To appear.
	21	Mitchell Wand, A semantic prototyping system, Proceedings of the 1984 SIGPLAN symposium on Compiler construction, p.213-221, June 17-22, 1984, Montreal, Canada
	22	David A. Watt , Muffy Thomas, Programming language syntax and semantics, Prentice Hall International (UK) Ltd., Hertfordshire, UK, 1991
	23	David A. Watt. Personal communication. 1992.

CITED BY 3

	Kyung-Goo Doh, Action transformation by partial evaluation, Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.230-240, June 21-23, 1995, La Jolla, California, United States
	Tim Sheard , Zine-el-abidine Benaissa , Emir Pasalic, DSL implementation using staging and monads, ACM SIGPLAN Notices, v.35 n.1, p.81-94, Jan. 2000
	Tim Sheard , Zine-el-abidine Benaissa , Emir Pasalic, DSL implementation using staging and monads, Proceedings of the 2nd conference on Conference on Domain-Specific Languages, p.7-7, October 03-05, 1999, Austin, Texas

INDEX TERMS

Primary Classification:
D. Software
D.3 PROGRAMMING LANGUAGES
D.3.4 Processors
Subjects: Compilers

General Terms:
Algorithms, Performance, Reliability

REVIEW

"Herbert G. Mayer : Reviewer"

For researchers and developers interested in compiler generation based on action semantics, Bondorf and Palsberg present fascinating material; I only wish more detail had been offered. The authors have advanced the state of the art of compiler more...

Collaborative Colleagues:

Anders Bondorf: colleagues

Jens Palsberg: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player