A tour of Schism

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A tour of Schism: a partial evaluation system for higher-order applicative languages

Full text

Pdf (806 KB)

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: 145 - 154

Year of Publication: 1993

ISBN:0-89791-594-1

Author

Charles Consel

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

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

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	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.154645 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.

	BD91	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 ]
	Bon91	Anders Bondorf, Automatic autoprojection of higher order recursive equations, Science of Computer Programming, v.17 n.1-3, p.3-34, Dec. 1991
	Bon92	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
	CD90	C. Consel , O. Danvy, From interpreting to compiling binding times, Proceedings of the third European symposium on programming on ESOP '90, p.88-105, May 1990, Copenhagen, Denmark
	CD91	Charles Consel , Olivier Danvy, For a better support of static data flow, Proceedings of the 5th ACM conference on Functional programming languages and computer architecture, p.496-519, June 1991, Cambridge, Massachusetts, United States
	Ce91	H. Abelson , R. K. Dybvig , C. T. Haynes , G. J. Rozas , N. I. Adams, IV , D. P. Friedman , E. Kohlbecker , G. L. Steele, Jr. , D. H. Bartley , R. Halstead , D. Oxley , G. J. Sussman , G. Brooks , C. Hanson , K. M. Pitman , M. Wand , William Clinger , Jonathan Rees, Revised report on the algorithmic language scheme, ACM SIGPLAN Lisp Pointers, v.IV n.3, p.1-55, July, 1991 [doi>10.1145/382130.382133]
	Con88	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
	Con89	C. Consel. Analyse de Programmes, Evaluatzon Partielle et Gdngration de Compilateurs. PhD thesis, Universit~ de Paris VI, Paris, France, June 1989.
	Con90	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]
	Con93	Charles Consel, Polyvariant binding-time analysis for applicative languages, Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.66-77, June 14-16, 1993, Copenhagen, Denmark [doi>10.1145/154630.154638]
	CP92	C. Consel and S. Pal. A programming environment for binding-time based partial evaluators. In C. Consel, editor, A CM Workshop on Partial Evaluation and Semantics- Based Program Manipulation, pages 62-66. Yale University, 1992. Research Report 909.
	Dan92	Olivier Danvy, Back to direct style, Symposium proceedings on 4th European symposium on programming, p.130-150, January 1992, Rennes, France
	Gom90	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]
	Gom92	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]
	GR92	M. Gengler and B. Rytz. A polyvariant binding time analysis handling partially known values. In Workshop on Static Anal. ysis, volume 81-82 of Bigre Journal, pages 322-330. IRISA, Rennes, France, 1992.
	Hol91	Carsten Kehler Holst, Finiteness analysis, Proceedings of the 5th ACM conference on Functional programming languages and computer architecture, p.473-495, June 1991, Cambridge, Massachusetts, United States
	JGB+90	N. D. Jones, C. K. Gomard, A. Bondorf, O. Danvy, and T. Mogensen. A selfapplicable partial evaluator for the lambda calculus. In IEEE international Conference on Computer Languages, pages 49-58, 1990.
	KKR+86	David Kranz , Norman Adams , Richard Kelsey , Jonathan Rees , Paul Hudak , James Philbin, ORBIT: an optimizing compiler for scheme, ACM SIGPLAN Notices, v.21 n.7, p.219-233, July 1986
	Mos91	C. Mossin. Similix binding time debugger manual. Technical report, University of Copenhagen, Copenhagen, Denmark, 1991.
	MTH90	R. Milner, M. Torte, and R. Harper. The Definition of ML. MIT Press, 1990.
	Pai90	S. Pai. Some user interface enhancements to Schism. Technical report, Yale University, New Haven, Connecticut, USA, 1990. (Student Report).
	RG92	B. Rytz and M. Gengler. A polyvariant binding time analysis. In C. Consel, editor, A CM Workshop on Partial Evaluation and Semantzcs-Based Program Manipulation, pages 21-28. Yale University, 1992. Research Report 909.
	Ses88	P. Sestoft. Automatic call unfolding in a partial evaluator. In D. Bjerner, A. P. Ershov, and N. D. Jones, editors, Partial Evaluation and Mixed Computation. North- Holland, 1988.
	She92	T. Sheard. A guide to CI~ML: a compiletime reflective ML. Research report, Pacific Software Research Center, Oregon Graduate Institute of Science and Technology, Beaverton, Oregon, USA, 1992.
	Ste78	G.L. Steele. Rabbit: A compiler for scheme. Master's thesis, M.I.T (A.I. LAB.), Massachusetts, U.S.A, 1978.

CITED BY 32

	Lawrence King , Gopal Gupta , Enrico Pontelli, Verification of a controller for bart: an approach based on horn logic and denotational semantics, High integrity software, Kluwer Academic Publishers, Norwell, MA, 2001
	Brian Grant , Markus Mock , Matthai Philipose , Craig Chambers , Susan J. Eggers, Annotation-directed run-time specialization in C, ACM SIGPLAN Notices, v.32 n.12, p.163-178, Dec. 1997
	Ping Zhu , Siau Cheng Khoo, Specialization for applications using shared libraries, Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, January 07-08, 2008, San Francisco, California, USA
	Jens Palsberg , Patrick O'Keefe, A type system equivalent to flow analysis, ACM Transactions on Programming Languages and Systems (TOPLAS), v.17 n.4, p.576-599, July 1995
	Helle Markmann Andersen , Ulrik Pagh Schultz, Declarative specialization for object-oriented-program specialization, Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.27-38, August 24-25, 2004, Verona, Italy
	Jens Palsberg , Patrick O'Keefe, A type system equivalent to flow analysis, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.367-378, January 23-25, 1995, San Francisco, California, United States
	Julia L. Lawall, Proofs by structural induction using partial evaluation, Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.155-166, June 14-16, 1993, Copenhagen, Denmark
	Bernd Grobauer , Julia L. Lawall, Partial evaluation of pattern matching in strings, revisited, Nordic Journal of Computing, v.8 n.4, p.437-462, December 2001
	Anne-Françoise Le Meur , Julia L. Lawall , Charles Consel, Towards bridging the gap between programming languages and partial evaluation, ACM SIGPLAN Notices, v.37 n.3, p.9-18, March 2002
	Michael Leuschel , Danny De Schreye, Towards creating specialised integrity checks through partial evaluation of meta-interpreters, Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.253-263, June 21-23, 1995, La Jolla, California, United States
	Charles Consel, Polyvariant binding-time analysis for applicative languages, Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.66-77, June 14-16, 1993, Copenhagen, Denmark
	Ping Zhu , Siau-Cheng Khoo, Towards constructing reusable specialization components, Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, January 15-16, 2007, Nice, France
	J. Michael Ashley , Charles Consel, Fixpoint computation for polyvariant static analyses of higher-order applicative programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.5, p.1431-1448, Sept. 1994
	Jens Palsberg , Christina Pavlopoulou, From polyvariant flow information to intersection and union types, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.197-208, January 19-21, 1998, San Diego, California, United States
	Frank Tip , Jens Palsberg, Scalable propagation-based call graph construction algorithms, ACM SIGPLAN Notices, v.35 n.10, p.281-293, Oct. 2000
	John Hatcliff , Olivier Danvy, A computational formalization for partial evaluation, Mathematical Structures in Computer Science, v.7 n.5, p.507-541, October 1997
	Anne-Françoise Le Meur , Julia L. Lawall , Charles Consel, Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization, Higher-Order and Symbolic Computation, v.17 n.1-2, p.47-92, March-June 2004
	Julia L. Lawall , Olivier Danvy, Continuation-based partial evaluation, ACM SIGPLAN Lisp Pointers, v.VII n.3, p.227-238, July-Sept. 1994
	Olivier Danvy , Karoline Malmkjær , Jens Palsberg, Eta-expansion does The Trick, ACM Transactions on Programming Languages and Systems (TOPLAS), v.18 n.6, p.730-751, Nov. 1996
	Kenichi Asai , Hidehiko Masuhara , Akinori Yonezawa, Partial evaluation of call-by-value &lgr;-calculus with side-effects, ACM SIGPLAN Notices, v.32 n.12, p.12-21, Dec. 1997
	Siau-Cheng Khoo , Kun Shi, Program Adaptation via Output-Constraint Specialization, Higher-Order and Symbolic Computation, v.17 n.1-2, p.93-128, March-June 2004
	Charles Consel , Julia L. Lawall , Anne-Françoise Le Meur, A tour of tempo: a program specializer for the C language, Science of Computer Programming, v.52 n.1-3, p.341-370, August 2004
	Karoline Malmkjær , Peter Ørbæk, Polyvariant specialisation for higher-order, block-structured languages, Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.66-76, June 21-23, 1995, La Jolla, California, United States
	Olivier Danvy , Ulrik P. Schultz, Lambda-dropping: transforming recursive equations into programs with block structure, ACM SIGPLAN Notices, v.32 n.12, p.90-106, Dec. 1997
	J. Michael Ashley, The effectiveness of flow analysis for inlining, ACM SIGPLAN Notices, v.32 n.8, p.99-111, Aug. 1997
	Jens Palsberg , Christina Pavlopoulou, From Polyvariant flow information to intersection and union types, Journal of Functional Programming, v.11 n.3, p.263-317, May 2001
	Simon Helsen , Peter Thiemann, Polymorphic specialization for ML, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.4, p.652-701, July 2004
	Ulrik P. Schultz , Julia L. Lawall , Charles Consel, Automatic program specialization for Java, ACM Transactions on Programming Languages and Systems (TOPLAS), v.25 n.4, p.452-499, July 2003
	Michael Sperber , Peter Thiemann, Realistic compilation by partial evaluation, ACM SIGPLAN Notices, v.31 n.5, p.206-214, May 1996
	Robert Glück , Jesper Jørgensen, An Automatic Program Generator for Multi-Level Specialization, Lisp and Symbolic Computation, v.10 n.2, p.113-158, July 1997
	Arne John Glenstrup , Neil D. Jones, Termination analysis and specialization-point insertion in offline partial evaluation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.6, p.1147-1215, November 2005
	Neil D. Jones, An introduction to partial evaluation, ACM Computing Surveys (CSUR), v.28 n.3, p.480-503, Sept. 1996