Partial evaluation and separate compilation

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

Volumn , Issue , 1997, Pages 1-11

  Heldal, Rogardt ^a   Hughes, John ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

Modules; Partial evaluation; Separate compilation

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; SEMANTICS; SEPARATION; COMPUTATION THEORY; COMPUTATIONAL LINGUISTICS; PROGRAM COMPILERS; PROGRAM INTERPRETERS;

MODULES; PARTIAL EVALUATION; RESIDUAL PROGRAMS; SEPARATE COMPILATION; STATIC DATUM;

PROGRAM INTERPRETERS; COMPUTER SOFTWARE;

MODULES; PARTIAL EVALUATION; SEPARATE COMPILATION;

EID: 0030656772     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/258993.258996     Document Type: Conference Paper

References (17)

1. L. Augustsson and T. Johnsson. The Chalmers Lazy-ML Compiler. The Computer Journal, 32(2):127-141, 1989.
2. Dirk Dussart, Rogardt Heidal, and John Hughes. Module-Sensitive Program Specialization, submitted for publication, November 1996.
3. Y. Futamura. Partial evaluation of computation process - an approach to a compiler-compiler. In Systems, Computers, Controls, Volume 2, pages 721-728, 1971.
4. Robert Glück and Jesper Jørgensen. Efficient Multi-Level Generating Extensions for Program Specialization. In S. D. Swierstra and M. Hermenegildo, editors, Programming Languages: Implementations, Logics and Programs (PLILP'95), Volume 982 of Lecture Notes in Computer Science, pages 259-278. Springer-Verlag, 1995.
5. Robert Glück. Towards Multiple Self-Application. In Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Volume 26, New Haven, USA, sep 1991. SIGPLAN Notices and IFIP, ACM Press.
6. C. K. Holst and J. Launchbury. Handwriting cogen to avoid problems with static typing. In Draft Proceedings, Fourth Annual Glasgow Workshop on Functional Programming, Skye, Scotland, pages 210-218. Glasgow University, 1991.
7. Paul Hudak et al. Report on the Programming Language Haskell: A Non-Strict, Purely Functional Language, March 1992. Version 1.2. Also in Sigplan Notices, May 1992.
8. John Hughes. Type Specialisation for the Lambda-calculus; or, A New Paradigm for Partial Evaluation based on Type Inference. In Olivier Danvy, Robert Glück, and Peter Thiemann, editors, Partial Evaluation, Volume 1110 of LNCS. Springer-Verlag, February 1996.
9. N. D. Jones, C. K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993.
10. Neil D. Jones, Peter Sestoft, and Harald Søndergaard. Mix: A self-applicable partial evaluator for experiments in compiler generation. Lisp and Symbolic Computation, 2(l):9-50, 1989. DIKU Report 91/12.
11. J. Launchbury. A Strongly-typed, Self-applicable Partial Evaluator. In ACM Functional Programming and Computer Architecture, number 523 in LNCS, Boston, 1991. Springer-Verlag.
12. J. Launchbury. Projection Factorisations in Partial Evaluation (PhD thesis), Volume 1 of Distinguished Dissertations in Computer Science. Cambridge University Press, 1991.
13. Torben M Mogensen. Constructor specialization. In David Schmidt, editor, ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 22-32, June 1993.
14. Torben M Mogensen. Evolution of partial evalua-tors: Removing inherited limits. In Olivier Danvy, Robert Glück, and Peter Thiemann, editors, Partial Evaluation. Proceedings, Lecture Notes in Computer Science, page to appear. Springer-Verlag, 1996.
15. S. A. Romanenko. Arity raiser and its use in program specialisation. In Proc. 3rd European Symposium on Programming, Lecture Notes in Computer Science Vol. 432, pages 341-360. Springer-Verlag, May 1990.
16. R. S. Sundaresh and Paul Hudak. Incremental Computation via Partial Evaluation. In Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, pages 1-13, Orlando, Florida, Jan 1991. ACM.
17. Valentin F. Turchin. The concept of a supercompiler. ACM Transactions on Programming Languages and Systems, 8(3):292-325, July 1986.