“Optimal” collecting semantics for analysis in a hierarchy of logic program semantics
Author:
- 1 January 1996
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 503-514
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Bottom-up abstract interpretation of logic programsTheoretical Computer Science, 1994
- A compositional semantics for logic programsTheoretical Computer Science, 1994
- A Model-Theoretic Reconstruction of the Operational Semantics of Logic ProgramsInformation and Computation, 1993
- A general framework for semantics-based bottom-up abstract interpretation of logic programsACM Transactions on Programming Languages and Systems, 1993
- Static analysis of logic programs for independent and parallelismThe Journal of Logic Programming, 1992
- Abstract interpretation and application to logic programsThe Journal of Logic Programming, 1992
- A practical framework for theabstract interpretation of logic programsThe Journal of Logic Programming, 1991
- Declarative modeling of the operational behavior of logic languagesTheoretical Computer Science, 1989
- Strong abstract interpretation using power domains1983
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976