Directional type checking of logic programs-Reference-Cited by-同舟云学术

Directional type checking of logic programs

Published:1994 Issue: Volume: Page:43-60
ISSN:0302-9743
Container-title:Static Analysis
language:
Short-container-title:

Author:

Aiken Alexander,Lakshman T. K.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-58485-4_32.pdf

Reference40 articles.

1. K. R. Apt and Sandro Etalle. On the Unification-free Prolog Programs. In Proceedings of the 1993 Conference on Mathematical Foundations of Computer Science, June 1993.

2. A. Aiken, D. Kozen, and E. Wimmers. Decidability of systems of set constraints with negative constraints. Technical Report 93-1362, Cornell University, June 1993.

3. K. R. Apt. Declarative Programming in Prolog. In D. Miller, editor, Proceedings of the International Logic Programming Symposium. MIT Press, November 1993.

4. K. R. Apt. Program Verification and Prolog. Technical report, CWI Amsterdam, January 1994.

5. A. Aiken and E. Wimmers. Solving Systems of Set Constraints. In Symposium on Logic in Computer Science, pages 329–340, June 1992.

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

1. Truth versus information in logic programming;Theory and Practice of Logic Programming;2013-06-03

2. A Polymorphic Type Dependency Analysis for Logic Programs;New Generation Computing;2011-10

3. Evolution of rule-based programs;The Journal of Logic and Algebraic Programming;2004-07

4. Analysing Logic Programs by Reasoning Backwards;Program Development in Computational Logic;2004

5. Forward versus Backward Verification of Logic Programs;Logic Programming;2003