The powerset operator on abstract interpretations
- 6 July 1999
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 222 (1-2) , 77-111
- https://doi.org/10.1016/s0304-3975(98)00007-3
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Two classes of Boolean functions for dependency analysisScience of Computer Programming, 1998
- Complementation in abstract interpretationACM Transactions on Programming Languages and Systems, 1997
- Abstract interpretationACM Computing Surveys, 1996
- Optimal groundness analysis using propositional logicThe Journal of Logic Programming, 1996
- Suspension analyses for concurrent logic programsACM Transactions on Programming Languages and Systems, 1994
- Bottom-up abstract interpretation of logic programsTheoretical Computer Science, 1994
- A general framework for semantics-based bottom-up abstract interpretation of logic programsACM Transactions on Programming Languages and Systems, 1993
- Abstract interpretation and application to logic programsThe Journal of Logic Programming, 1992
- On derived dependencies and connected databasesThe Journal of Logic Programming, 1991
- Strictness analysis for higher-order functionsScience of Computer Programming, 1986