Directional Type Inference for Logic Programs-Reference-Cited by-同舟云学术

Directional Type Inference for Logic Programs

Published:1998 Issue: Volume: Page:278-294
ISSN:0302-9743
Container-title:Static Analysis
language:
Short-container-title:

Author:

Charatonik Witold,Podelski Andreas

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-49727-7_17

Reference31 articles.

1. Lect Notes Comput Sci;A. Aiken,1994

2. K. R. Apt. Declarative programming in Prolog. In D. Miller, editor, Logic Programming-Proceedings of the 1993 International Symposium, pages 12–35, Vancouver, Canada, 1993. The MIT Press.

3. K. R. Apt. Program verification and Prolog. In E. Börger, editor, Specification and Validation methods for Programming languages and systems, pages 55–95. Oxford University Press, 1995.

4. Lect Notes Comput Sci;K. R. Apt,1993

5. J. Boye. Directional Types in Logic Programming. PhD thesis, Department of Computer and Information Science, Linköping University, 1996.

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

1. Data Type Inference for Logic Programming;Logic-Based Program Synthesis and Transformation;2022

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

3. Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs;Practical Aspects of Declarative Languages;2001-12-20

4. Locating Type Errors in Untyped CLP Programs;Analysis and Visualization Tools for Constraint Programming;2000

5. Directional Type Checking for Logic Programs: Beyond Discriminative Types;Programming Languages and Systems;2000