scientific article; zbMATH DE number 1487945

MaRDI QIDQ4495072zbMATH OpenFDO

Authors Samir Genaim, Michael Codish

Publication date 10 August 2000

zbMATH Keywords

semantic based program analysis

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Optimized algorithms for incremental analysis of logic programs
• Differential methods in logic program analysis
• Path dependent analysis of logic programs
• Incremental Abstract Interpretation
• Computer Aided Verification

Cited in

(8)

• Class invariants as abstract interpretation of trace semantics
• Accelerating program analyses in Datalog by merging library facts
• A multi-domain incremental analysis engine and its application to incremental resource analysis
• Incremental execution of transformation specifications
• Optimized algorithms for incremental analysis of logic programs
• Incremental analysis of logic programs with assertions and open predicates
• Incremental maintenance of overgrounded logic programs with tailored simplifications
• Strengthening invariants for efficient computation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4495072)