Mix ten years later

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Mix ten years later

Full text

Pdf (1.76 MB)

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: 24 - 38

Year of Publication: 1995

ISBN:0-89791-720-0

Author

Neil D. Jones

DIKU, University of Copenhagen, Universitetsparken 1, DK-2100, Copenhagen ø, Denmark

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

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

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/215465.215468 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	Andersen L.O., Program analysis and specialization for the C programming language. DIKU, Department of Computer Science, University o} Copenhagen. DIKU Report No. 94/19, 1994.
	2	Baier R., Glfick Ft., Z6chling R., Partial evaluation of numerical programs in Fortran. In: ACM SIGPLAN Workshop on Partial Evaluation and Semantics.Based Program Manipulation. 119-132, Report 94/9, University of Melbourne, Australia 1994.
	3	L. Beckman et al., 'A partial evaluat,or, and its use as a programming tool', Artificial Intelligence, 7(4):319-357, 1976.
	4	Andrew Berlin , Daniel Weise, Compiling Scientific Code Using Partial Evaluation, Computer, v.23 n.12, p.25-37, December 1990 [doi>10.1109/2.62091]
	5	Birkedal L., Welinder, M., Partial Dvaluation of Standard ML. DIKU, Department o} Computer Science, University of Copenhagen. DIKU Report No. 93/22, 1993.
	6	D. Bjorner , Neil D. Jones , A. P. Ershov, Partial Evaluation and Mixed Computation: Proceedings of the IFIP TC2 Workshop, Gammel Avernaes, Denmark, 18-24 Oct., 1987, Elsevier Science Inc., New York, NY, 1988
	7	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]
	8	Charles Consel, New Insights into Partial Evaluation: the SCHISM Experiment, Proceedings of the 2nd European Symposium on Programming, p.236-246, March 21-24, 1988
	9	A. De Niel, E. Bevers, and K. De Vlarainck, 'Partial evaluation of polymorphically typed functional languages: The representation problem', in M. Billaud et al. (eds.), Analyse Statique en Programmation JEquationnelle, Fonctionnelle, et Logique, Bordeaux, France, Octobre 1991 (Bigre, vol. 74), pp. 90-97, Rennes: IRISA, 1991.
	10	A.P. Ershov: Mixed Computation: Potential applications and problems for study. Theoretical Computer Science 18, pp. 41-67, 1982.
	11	hr. Futamura, 'Partial evaluation of computation process - an approach to a compiler-compiler', Systems, Computers, Controls, 2(5):45-50, 1971.
	12	Robert Glück , Andrei V. Klimov, Occam's Razor in Metacompuation: the Notion of a Perfect Process Tree, Proceedings of the Third International Workshop on Static Analysis, p.112-123, September 22-24, 1993
	13	Chris Goad, Automatic Construction of Special Purpose Programs, Proceedings of the 6th Conference on Automated Deduction, p.194-208, June 07-09, 1982
	14	C.K. Gomard and N.D. Jones, 'A partial evaluator for the untyped lambda-calculus', Journal of Functional Programming, 1(1):21-69, January 1991.
	15	C. Gurr, A Self-applicable Partial Evaluator for the Logic Programming Language G6del, Ph.D. thesis, University of Bristol, 1994.
	16	Neil D. Jones, Semantics-Directed Compiler Generation: Proceedings, Springer-Verlag New York, Inc., Secaucus, NJ, 1980
	17	Neil D. Jones , David A. Schmidt, Compiler generation from denotational semantics, Semantics-Directed Compiler Generation, Proceedings of a Workshop, p.70-93, January 14-18, 1980
	18	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
	19	N.D. Jones, 'Automatic program specialization: A re-examination from basic principles', in D. BjOrner, A.P. Ershov, and N.D. Jones (eds.), Partial Evaluation and Mixed Computation, pp. 225-282, Amsterdam: North-Holland, 1988.
	20	Neil D. Jones , Carsten K. Gomard , Peter Sestoft, Partial evaluation and automatic program generation, Prentice-Hall, Inc., Upper Saddle River, NJ, 1993
	21	Neil D. Jones, Constant time factors do matter, Proceedings of the twenty-fifth annual ACM symposium on Theory of computing, p.602-611, May 16-18, 1993, San Diego, California, United States [doi>10.1145/167088.167244]
	22	N. D. Jones, The Essence of Program Transformation by Partial Evaluation and Driving, in Logic, Language and Computation, a Festschrift in honor of Satoru Takasu, edited by Masahiko Sato N. D. Jones, Masami Hagiya, pages 206-224, S-V, April 1994.
	23	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]
	24	John Launchbury, Projection factorisations in partial evaluation, Cambridge University Press, New York, NY, 1991
	25	S.A. Romanenko, 'A compiler generator produced by a self-applicable specializer can have a surprisingly natural and understandable structure', in D. Bj0rner, A.P. Ershov, and N.D. Jones (eds.), Partial Evaluation and Mixed Computation, pp. 445-463, Amsterdam: North-Holland, 1988.
	26	Dan Sahlin, The Mixtus approach to automatic partial evaluation of full Prolog, Proceedings of the 1990 North American conference on Logic programming, p.377-398, January 1990, Austin, Texas, United States
	27	Morten Heine Sørensen , Robert Glück , Neil D. Jones, Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC, Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems, p.485-500, April 11-13, 1994
	28	Valentin F. Turchin, The concept of a supercompiler, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.3, p.292-325, July 1986 [doi>10.1145/5956.5957]
	29	Mads Tofte, Compiler generators: what they can do, what they might do, and what they will probably never do, Springer-Verlag New York, Inc., New York, NY, 1990
	30	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 6

	Christoph A. Herrmann , Tobias Langhammer, Combining partial evaluation and staged interpretation in the implementation of domain-specific languages, Science of Computer Programming, v.62 n.1, p.47-65, September 2006
	Walid Taha , Tim Sheard, Multi-stage programming with explicit annotations, ACM SIGPLAN Notices, v.32 n.12, p.203-217, Dec. 1997
	Torben Mogensen , David Schmidt , I. Hal Sudborough, Preface, The essence of computation: complexity, analysis, transformation, Springer-Verlag New York, Inc., New York, NY, 2002
	Neil D. Jones, An introduction to partial evaluation, ACM Computing Surveys (CSUR), v.28 n.3, p.480-503, Sept. 1996
	Walid Taha , Michael Florentin Nielsen, Environment classifiers, ACM SIGPLAN Notices, v.38 n.1, p.26-37, January 2003
	Olivier Danvy, Type-directed partial evaluation, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.242-257, January 21-24, 1996, St. Petersburg Beach, Florida, United States