Incremental partial evaluation

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Incremental partial evaluation: the key to high performance, modularity and portability in operating systems

Full text

Pdf (1.53 MB)

Source

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

Copenhagen, Denmark

Pages: 44 - 46

Year of Publication: 1993

ISBN:0-89791-594-1

Authors

Charles Consel
Calton Pu
Jonathan Walpole

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 11, 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/154630.154635 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	Alfred V. Aho , Ravi Sethi , Jeffrey D. Ullman, Compilers: principles, techniques, and tools, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
	2	L.O. Andersen. C program specialization. Master's thesis, DIKU, University of Copenhagen, Denmark, December 1991. DIKU Student Project 91-12-17, 134 pages.
	3	Lars Ole Andersen, Partial Evaluation of C and Automatic Compiler Generation (Extended Abstract), Proceedings of the 4th International Conference on Compiler Construction, p.251-257, October 05-07, 1992
	4	L.O. Andersen. Partial Evaluatzon of C, chapter 11 in Partial Evaluation and Automatic Compiler Generation, N.D. Jones, C.K. Gomard, P. Sestoft. Prentice- Hall, 1993. (To appear).
	5	A. Bondorf, Automatic autoprojection of higher order recursive equations, Proceedings of the third European symposium on programming on ESOP '90, p.70-87, May 1990, Copenhagen, Denmark
	6	A. Bondorf and J. Jorgensen. Efficient analyses for realistic off-line partial evaluation. Journal of Functional Programming, special issue on partial evaluation, 1993.
	7	Charles Consel, Binding time analysis for high order untyped functional languages, Proceedings of the 1990 ACM conference on LISP and functional programming, p.264-272, June 27-29, 1990, Nice, France [doi>10.1145/91556.91668]
	8	Carsten K. Gomard, Partial type inference for untyped functional programs, Proceedings of the 1990 ACM conference on LISP and functional programming, p.282-287, June 27-29, 1990, Nice, France [doi>10.1145/91556.91672]
	9	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.
	10	Fritz Henglein, Efficient type inference for higher-order binding-time analysis, Proceedings of the 5th ACM conference on Functional programming languages and computer architecture, p.448-472, June 1991, Cambridge, Massachusetts, United States
	11	Sebastian Hunt , David Sands, Binding time analysis: a new PERspective, ACM SIGPLAN Notices, v.26 n.9, p.154-165, Sept. 1991
	12	ISO/IEC 9899:1990 International Standard. Programming Languages--C, 1990.
	13	N.D. Jones, P. Sestoft, and H. Sendergaard. Mix: A self-applicable partial evaluator for experiments in compiler generation. Lisp and Symbolic Computation, 2(1):9-50, 1989.
	14	Brian W. Kernighan , Dennis M. Ritchie, The C programming language, Prentice Hall Press, Upper Saddle River, NJ, 1989
	15	J. Launchbury. Projection Factorisat~ons ~n Partial Evaluation. PhD thesis, Dep. of Computing Science, University of Glasgow, Glasgow G12 8QQ, 1990.
	16	T.iE. Mogensen. Binding Time Aspects of Partial Evaluation. PhD thesis, Dept. of Comp. Science, University of Copenhagen, Mar 1989.
	17	H. R. Nielson , F. Nielson, Automatic binding time analysis for a typed &lgr;-calculus, Science of Computer Programming, v.10 n.2, p.139-176, April 1988 [doi>10.1016/0167-6423(88)90025-1]
	18	Robert Endre Tarjan, Data structures and network algorithms, Society for Industrial and Applied Mathematics, Philadelphia, PA, 1983

CITED BY 11

	C. Pu , T. Autrey , A. Black , C. Consel , C. Cowan , J. Inouye , L. Kethana , J. Walpole , K. Zhang, Optimistic incremental specialization: streamlining a commercial operating system, ACM SIGOPS Operating Systems Review, v.29 n.5, p.314-321, Dec. 3, 1995
	C. Consel , L. Hornof , R. Marlet , G. Muller , S. Thibault , E.-N. Volanschi , J. Lawall , J. Noyé, Partial evaluation for software engineering, ACM Computing Surveys (CSUR), v.30 n.3es, Sept. 1998
	C. Consel , L. Hornof , R. Marlet , G. Muller , S. Thibault , E.-N. Volanschi , J. Lawall , J. Noyé, Tempo: specializing systems applications and beyond, ACM Computing Surveys (CSUR), v.30 n.3es, Sept. 1998
	Eugen N. Volanschi , Charles Counsel , Gilles Muller , Crispin Cowan, Declarative specialization of object-oriented programs, ACM SIGPLAN Notices, v.32 n.10, p.286-300, Oct. 1997
	Mihnea Marinescu , Benjamin Goldberg, Partial-evaluation techniques for concurrent programs, ACM SIGPLAN Notices, v.32 n.12, p.47-62, Dec. 1997
	Tong Zhou , Calton Pu , Ling Liu, Dynamic restructuring of transactional workflow activities: a practical implementation method, Proceedings of the seventh international conference on Information and knowledge management, p.378-385, November 02-07, 1998, Bethesda, Maryland, United States
	Walid Taha , Michael Florentin Nielsen, Environment classifiers, ACM SIGPLAN Notices, v.38 n.1, p.26-37, January 2003
	Renaud Marlet , Charles Consel , Philippe Boinot, Efficient incremental run-time specialization for free, ACM SIGPLAN Notices, v.34 n.5, p.281-292, May 1999
	Cristiano Calcagno , Walid Taha , Liwen Huang , Xavier Leroy, Implementing multi-stage languages using ASTs, Gensym, and reflection, Proceedings of the second international conference on Generative programming and component engineering, p.57-76, September 22-25, 2003, Erfurt, Germany
	Luke Hornof , Jacques Noyé, Accurate binding-time analysis for imperative languages: flow, context, and return sensitivity, ACM SIGPLAN Notices, v.32 n.12, p.63-73, Dec. 1997
	Luke Hornof , Trevor Jim, Certifying Compilation and Run-Time Code Generation, Higher-Order and Symbolic Computation, v.12 n.4, p.337-375, December 1999