On the design of a correct freeness analysis for logic programs-Reference-Cited by-同舟云学术

On the design of a correct freeness analysis for logic programs

Published:1996-09 Issue:3 Volume:28 Page:181-206
ISSN:0743-1066
Container-title:The Journal of Logic Programming
language:en
Short-container-title:The Journal of Logic Programming

Author:

Codish Michael,Dams Dennis,Filé Gilberto,Bruynooghe Maurice

Publisher

Elsevier BV

Subject

Logic

Reference21 articles.

1. A Practical Framework for the Abstract Interpretation of Logic Programs;Bruynooghe;Journal of Logic Programming,1991

2. Freeness, Sharing, Linearity and Correctness—All at Once;Bruynooghe,1993

3. Abstract Unification for a Composite Domain Deriving Sharing and Freeness Properties of Program Variables;Bruynooghe,1994

4. Codish, M., Dams, D., and Yardeni, E., Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis, in: Furukawa [11], pp. 79–93.

5. Freeness Analysis for Logic Programs—And Correctness?;Codish,1993

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

1. Non-strict independence-based program parallelization using sharing and freeness information;Theoretical Computer Science;2009-11

2. Negative Ternary Set-Sharing;Logic Programming;2008

3. Efficient Top-Down Set-Sharing Analysis Using Cliques;Practical Aspects of Declarative Languages;2005

4. A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages;Theory and Practice of Logic Programming;2004-04-16

5. Pair-independence and freeness analysis through linear refinement;Information and Computation;2003-04