Logical optimality of groundness analysis

DOI10.1016/S0304-3975(00)00316-9zbMath0996.68031MaRDI QIDQ1605228

Francesca Scozzari

Publication date: 15 July 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

static analysisintuitionistic logiclogic programmingabstract interpretationabstract domaingroundnessHeyting completion

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

Pair-independence and freeness analysis through linear refinement., Deriving escape analysis by abstract interpretation, Conjunctive Abstract Interpretation Using Paramodulation, Optimality and condensing of information flow through linear refinement, Transforming semantics by abstract interpretation, The reduced relative power operation on abstract domains, A theory of observables for logic programs

Cites Work

• The powerset operator on abstract interpretations
• Optimal groundness analysis using propositional logic
• Abstract interpretation and application to logic programs
• “Optimal” collecting semantics for analysis in a hierarchy of logic program semantics
• Systematic design of program transformation frameworks by abstract interpretation
• Logic and structure.
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item