Optimization of equational programs using partial evaluation

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Optimization of equational programs using partial evaluation

Full text

Pdf (893 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: 72 - 82

Year of Publication: 1991

ISBN:0-89791-433-3

Also published in ...

Authors

David Sherman	Department of Computer Science, University of Chicago
Robert Strandh	Département d'Informatique, Université de Bordeaux 1
Irène Durand	Département d'Informatique, Université de Bordeaux 1

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

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

Additional Information:

references cited by index terms collaborative colleagues peer to peer

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.115874 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.

	BAOE76	L. Beckman, Haraldsson A., Oskarsson (~)., and Sandewall E. A partial evaluator, and its use as a programming tool. Artificial Intelligence, (7):319-357, 1976.
	Bon89	Anders Bondorf, A Self-Applicable Partial Evaluator for Term Rewriting Systems, Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages, p.81-95, March 13-17, 1989
	DS90	lrene Durand and Robert Strandh. A decision procedure for forward-branching equational programs. Technical Report 05-9'0, GRECO Programmation, 1990.
	Har77	A. Haraldsson. A Program Manipulation System Based on Partial Evaluation. PhD thesis, Department of Mathematics, LinkSping University, LinkSping, 1977.
	HO82	Christoph M. Hoffman , Michael J. O'Donnell, Programming with Equations, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.1, p.83-112, Jan. 1982 [doi>10.1145/357153.357158]
	HOS85	C. Hoffmann, M. J. O'Donnell, and R. Strandh. Programming with equations. Software, Praclice and Experience, 1985.
	JSS85	N.D. Jones, P. Sestoft, and H. Sdndergaard. An experiment in partial evaluation: The generation of a compiler generator. Technical report, Institute of Datalogy, Universi~Ly of Copenhagen, Copenhagen, 1985.
	O’D85	Michael J. O'Donnell, Equational logic as a programming language, Massachusetts Institute of Technology, Cambridge, MA, 1985
	She90	David J. Sherman, Lazy Directed Congruence Closure, University of Chicago, Chicago, IL, 1990
	SS90	David J. Sherman , Robert I. Strandh, An Abstract Machine for Efficient Implementation of Term Rewriting, University of Chicago, Chicago, IL, 1990
	Str88	R. I. Strandh, Compiling equational programs into efficient machine code, Johns Hopkins University, Baltimore, MD, 1988
	Str89	R. I. Strandh, Classes of equational programs that compile into efficient machine code, Proceedings of the 3rd international conference on Rewriting Techniques and Applications, p.449-461, January 1989
	Wad88	Philip Wadler, Deforestation: transforming programs to eliminate trees, Proceedings of the Second European Symposium on Programming, p.231-248, January 1988, Nancy, France

CITED BY 3

	Kazuhiro Ogata , Shigenori Ioroi , Kokichi Futatsugi, Optimizing term rewriting using discrimination nets with specialization, Proceedings of the 1999 ACM symposium on Applied computing, p.511-518, February 28-March 02, 1999, San Antonio, Texas, United States
	Wan Fokkink , Jasper Kamperman , Pum Walters, Lazy rewriting on eager machinery, ACM Transactions on Programming Languages and Systems (TOPLAS), v.22 n.1, p.45-86, Jan. 2000
	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