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)

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

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)