Sharing is optimal

Publisher Website

1 March 1999

journal article
research article
Published by Elsevier in The Journal of Logic Programming

Vol. 38 (3) , 371-386
https://doi.org/10.1016/s0743-1066(98)10026-2

Abstract

No abstract available

Keywords

This publication has 6 references indexed in Scilit:

The quotient of an abstract interpretation
Theoretical Computer Science, 1998
Complementation in abstract interpretation
ACM Transactions on Programming Languages and Systems, 1997
On the design of a correct freeness analysis for logic programs
The Journal of Logic Programming, 1996
Optimal groundness analysis using propositional logic
The Journal of Logic Programming, 1996
Static analysis of logic programs for independent and parallelism
The Journal of Logic Programming, 1992
Abstract interpretation and application to logic programs
The Journal of Logic Programming, 1992