System Description: Teyjus—A Compiler and Abstract Machine Based Implementation of λProlog-Reference-Cited by-同舟云学术

System Description: Teyjus—A Compiler and Abstract Machine Based Implementation of λProlog

Published:1999 Issue: Volume: Page:287-291
ISSN:0302-9743
Container-title:Automated Deduction — CADE-16
language:
Short-container-title:

Author:

Nadathur Gopalan,Mitchell Dustin J.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-48660-7_25

Reference20 articles.

1. B. Barras, S. Boutin, C. Cornes, J. Courant, J.C. Filliatre, E. Giménez, H. Herbelin, G. Huet, C. Muñoz, C. Murthy, C. Parent, C. Paulin, A. Saïbi, and B. Werner. The Coq Proof Assistant Reference Manual-Version V6.1. Technical Report 0203, INRIA, August 1997.

2. Pascal Brisset and Olivier Ridoux. The compilation of λProlog and its execution with MALI. Publication Interne No 687, IRISA, Rennes, November 1992.

3. Amy Felty. Implementing tactics and tacticals in a higher-order logic programming language. Journal of Automated Reasoning, 11(1):43–81, August 1993.

4. Richard A. Hagen and Peter J. Robinson. Qu-Prolog 4.3 reference manual. Technical Report 99-03, Software Verification Research Centre, School of Information Technology, University of Queensland, 1999.

5. John Hannan and Dale Miller. From operational semantics to abstract machines. Mathematical Structures in Computer Science, 2(4):415–459, 1992.

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

1. Logic + probabilistic programming + causal laws;Royal Society Open Science;2023-09

2. A Survey of the Proof-Theoretic Foundations of Logic Programming;Theory and Practice of Logic Programming;2021-11-18

3. Functions-as-constructors higher-order unification: extended pattern unification;Annals of Mathematics and Artificial Intelligence;2021-09-30

4. A proof-theoretic approach to certifying skolemization;Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2019;2019

5. Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses;Programming Languages and Systems;2019