Strong normalization by type-directed partial evaluation and run-time code generation-Reference-Cited by-同舟云学术

Strong normalization by type-directed partial evaluation and run-time code generation

Published:1998 Issue: Volume: Page:240-252
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Balat Vincent,Danvy Olivier

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0055521

Reference27 articles.

1. Ulrich Berger. Program extraction from normalization proofs. In M. Bezem and J. F. Groote, editors, Typed Lambda Calculi and Applications, number 664 in Lecture Notes in Computer Science, pages 91–106, Utrecht, The Netherlands, March 1993.

2. Ulrich Berger and Helmut Schwichtenberg. An inverse of the evaluation functional for typed λ-calculus. In Proceedings of the Sixth Annual IEEE Symposium on Logic in Computer Science, pages 203–211, Amsterdam, The Netherlands, July 1991. IEEE Computer Society Press.

3. The COMPOSE Project. Effective partial evaluation: Principles and applications. Technical report, IRISA (http://www.irisa.fr), Campus Universitaire de Beaulieu, Rennes, France, January 1996–May 1998. A selection of representative publications.

4. Charles Consel, editor. ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Amsterdam, The Netherlands, June 1997. ACM Press.

5. Charles Consel and Olivier Danvy. Static and dynamic semantics processing. In Robert (Corky) Cartwright, editor, Proceedings of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, pages 14–24, Orlando, Florida, January 1991. ACM Press.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Total Functional Software Engineering;Lecture Notes in Computer Science;2014

2. Painless programming combining reduction and search;ACM SIGPLAN Notices;2012-10-15

3. Memoization in Type-Directed Partial Evaluation;Generative Programming and Component Engineering;2002

4. Compiling Embedded Programs to Byte Code;Practical Aspects of Declarative Languages;2001-12-20

5. Integrating Partial Evaluators into Interpreters;Lecture Notes in Computer Science;2001