scientific article; zbMATH DE number 1487945

zbMATH Open0959.68021MaRDI QIDQ4495072FDOQ4495072

Authors: Samir Genaim, Michael Codish 

Publication date: 10 August 2000

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

semantic based program analysis

Mathematics Subject Classification ID

Logic programming (68N17)

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)