Action transformation by partial evaluation

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Action transformation by partial evaluation

Full text

Pdf (849 KB)

Source

ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation archive
Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation table of contents

La Jolla, California, United States

Pages: 230 - 240

Year of Publication: 1995

ISBN:0-89791-720-0

Author

Kyung-Goo Doh

Department of Computer Software, University of Aizu, Fukushima 965-80, Japan

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

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

Additional Information:

references 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/215465.215595 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 Birkedal and Morten Welinder. Partial evaluation of Standard ML. Technical Report DIKU-report 93/22, DIKU, Department of Computer Science, University of Copenhagen, 1993.
	2	Anders Bondorf. Similix 5.0 manual. Technical report, DIKU, Department of Computer Science, University of Copenhagen, 1993. Included in Similix 5.0 distribution.
	3	Anders Bondorf , Jens Palsberg, Compiling actions by partial evaluation, Proceedings of the conference on Functional programming languages and computer architecture, p.308-317, June 09-11, 1993, Copenhagen, Denmark [doi>10.1145/165180.165227]
	4	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
	5	Kyung-Goo Doh and David Schmidt. The facets of action semantics: some principles and applications. In Peter D. Mosses, editor, Proceedings of the First International Workshop on Action Semantics (Edinburgh, Scotland, April 1994), number NS-94-1 in BRICS Notes Series, pages 1-15. Dept. of Computer Science, Univ. of Aarhus, 1994.
	6	Kyung-Goo Doh and David A. Schmidt. Action semantics-directed prototyping. Computer Languages, 19(4):213-233, 1993.
	7	S. Even , David A. Schmidt, Category-sorted algebra-based action semantics, Theoretical Computer Science, v.77 n.1-2, p.73-95, Dec. 7, 1990
	8	Peter D. Mosses, Action semantics, Cambridge University Press, New York, NY, 1992
	9	Peter D. Mosses. A tutorial on action semantics. In Notes for FME'94, Formal Methods Europe, Barcelona, October 24-28 1994.
	10	Hermano Moura. Action Notation Transformations. PhD thesis, University of Glasgow, 1993.
	11	Hermano Moura , David A. Watt, Action Transformations in the ACTRESS Compiler Generator, Proceedings of the 5th International Conference on Compiler Construction, p.16-60, April 07-09, 1994
	12	Flemming Nielson , Hanne Riis Nielson, Two-level functional languages, Cambridge University Press, New York, NY, 1992
	13	Peter Ørbæk, OASIS: An Optimizing Action-Based Compiler Generator, Proceedings of the 5th International Conference on Compiler Construction, p.1-15, April 07-09, 1994
	14	Jens PMsberg. Provably Correct Compiler Generation. PhD thesis, Aarhus University, 1992.
	15	John C. Reynolds, Using category theory to design implicit conversions and generic operators, Semantics-Directed Compiler Generation, Proceedings of a Workshop, p.211-258, January 14-18, 1980
	16	David A. Watt , Muffy Thomas, Programming language syntax and semantics, Prentice Hall International (UK) Ltd., Hertfordshire, UK, 1991