Mechanically verifying the correctness of an offline partial evaluator-Reference-Cited by-同舟云学术

Mechanically verifying the correctness of an offline partial evaluator

Published:1995 Issue: Volume: Page:279-298
ISSN:0302-9743
Container-title:Programming Languages: Implementations, Logics and Programs
language:
Short-container-title:

Author:

Hatcliff John

Publisher

Springer Berlin Heidelberg

Link

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

Reference28 articles.

1. Yves Bertot and Ranan Fraer. Reasoning with executable specifications. In TAP-SOFT'95 [27], pages 531–545.

2. Sandrine Blazy and Philippe Facon. Formal specification and prototyping of a program specializer. In TAPSOFT'95 [27], pages 666–680.

3. Charles Consel and Olivier Danvy. Tutorial notes on partial evaluation. In Susan L. Graham, editor, Proceedings of the Twentieth Annual ACM Symposium on Principles of Programming Languages, pages 493–501, Charleston, South Carolina, January 1993. ACM Press.

4. Rowan Davies and Frank Pfenning. A modal analysis of staged compuation. In Proceedings of the Workshop on Types for Program Analysis, Aarhus, Denmark, 1995.

5. Jöelle Despeyroux. Proof of translation in natural semantics. In Proceedings of the First Annual IEEE Symposium on Logic in Computer Science, pages 193–205, Cambridge, Massachusetts, 1986. IEEE Computer Society Press.

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

1. A Temporal Logic Approach to Binding-Time Analysis;Journal of the ACM;2017-03-29

2. A Type Theoretic Specification of Partial Evaluation;Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14;2014

3. PE-KeY: A Partial Evaluator for Java Programs;Lecture Notes in Computer Science;2012

4. Program specialization for execution monitoring;Journal of Functional Programming;2003-05

5. A modal analysis of staged computation;Journal of the ACM;2001-05