Type dependencies for logic programs using ACI-unification-Reference-Cited by-同舟云学术

Type dependencies for logic programs using ACI-unification

Published:2000-05 Issue:1-2 Volume:238 Page:131-159
ISSN:0304-3975
Container-title:Theoretical Computer Science
language:en
Short-container-title:Theoretical Computer Science

Author:

Codish Michael,Lagoon Vitaly

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference44 articles.

1. Directional type checking of logic programs;Aiken,1994

2. Introduction to logic programming;Apt,1990

3. K.R. Apt, Declarative programming in prolog, in: D. Miller, (Ed.), Logic Programming – Proc. 1993 Internat. Symp., Vancouver, Canada, 1993, MIT Press, Cambridge, MA, pp. 12–35.

4. Unification theory;Baader,1994

5. R. Bagnara, R. Giacobazzi, G. Levi, An application of constraint propagation to data-flow analysis, in: Proc 9th IEEE Conf. on AI Applications, Orlando FL, 1993, IEEE Computer Society Press, Silverspring, MD, pp. 270–276.

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

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

2. Inferring precise polymorphic type dependencies in logic programs;Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming;2008-07-15

3. Checking Emptiness of Non-Deterministic Regular Types with Set Operators;Electronic Notes in Theoretical Computer Science;2008-04

4. A practical type analysis for verification of modular prolog programs;Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '08;2008

5. Improving precision of type analysis using non-discriminative union;Theory and Practice of Logic Programming;2007-05-23