The practice of logical frameworks-Reference-Cited by-同舟云学术

The practice of logical frameworks

Published:1996 Issue: Volume: Page:119-134
ISSN:0302-9743
Container-title:Trees in Algebra and Programming — CAAP '96
language:
Short-container-title:

Author:

Pfenning Frank

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-61064-2_33.pdf

Reference106 articles.

1. Arnon Avron, Furio A. Honsell, Ian A. Mason, and Robert Pollack. Using typed lambda calculus to implement formal systems on a machine. Journal of Automated Reasoning, 9(3):309–354, 1992. A preliminary version appeared as University of Edinburgh Report ECS-LFCS-87-31.

2. Jürgen Avenhaus and Carlos Loría-Sáenz. Higher order conditional rewriting and narrowing. In J.-P. Jouannaud, editor, Proceedings of the First International Conference on Constraints in Computational Logics, pages 269–284, Munich, Germany, September 1994. Springer-Verlag LNCS 845.

3. Penny Anderson. Program Derivation by Proof Transformation. PhD thesis, Carnegie Mellon University, October 1993. Available as Technical Report CMU-CS-93-206.

4. Penny Anderson. Program extraction in a logical framework setting. In Frank Pfenning, editor, Proceedings of the 5th International Conference on Logic Programming and Automated Reasoning, pages 144–158, Kiev, Ukraine, July 1994. Springer-Verlag LNAI 822.

5. Penny Anderson. Representing proof transformations for program optimization. In Proceedings of the 12th International Conference on Automated Deduction, pages 575–589, Nancy, France, June 1994. Springer-Verlag LNAI 814.

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

1. A Maude environment for CafeOBJ;Formal Aspects of Computing;2017-03

2. A Concurrent Logical Framework: The Propositional Fragment;Lecture Notes in Computer Science;2004

3. Transitive Closure and the Mechanization of Mathematics;Applied Logic Series;2003

4. Ambient Calculus and its Logic in the Calculus of Inductive Constructions;Electronic Notes in Theoretical Computer Science;2002-12

5. A Linear Logical Framework;Information and Computation;2002-11