Incremental analysis of logic programs with assertions and open predicates

DOI10.1007/978-3-030-45260-5_3MaRDI QIDQ5097624zbMATH OpenOpenAlexFDO

Authors Isabel García-Contreras, Manuel Hermenegildo, J. F. Morales

Publication date 25 August 2022

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL http://oa.upm.es/63681/

zbMATH Keywords

abstract interpretationassertionsgeneric codeHorn clausesincremental static analysislogic programsspecificationverification

Mathematics Subject Classification ID

Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Optimized algorithms for incremental analysis of logic programs
• Incremental Abstract Interpretation
• scientific article; zbMATH DE number 1487945
• Incremental and modular context-sensitive analysis
• Incremental Reasoning for Multiple Inheritance

Cites work

• A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
• A practical framework for theabstract interpretation of logic programs
• Abstract Interpretation with Specialized Definitions
• scientific article; zbMATH DE number 1615263 (Why is no real title available?)
• scientific article; zbMATH DE number 1696792 (Why is no real title available?)
• scientific article; zbMATH DE number 1696873 (Why is no real title available?)
• scientific article; zbMATH DE number 1368925 (Why is no real title available?)
• Hybrid type checking
• Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
• Multivariant assertion-based guidance in abstract interpretation
• XSB: extending Prolog with tabled logic programming

Cited in

(5)

• Testing your (static analysis) truths
• Incremental maintenance of overgrounded logic programs with tailored simplifications
• VeriFly: On-the-fly Assertion Checking via Incrementality
• Parallel Logic Programming: A Sequel
• Analysis and Transformation of Constrained Horn Clauses for Program Verification

Describes a project that uses

Uses Software

• go
• LPdoc
• Haskell
• XSB

This page was built for publication: Incremental analysis of logic programs with assertions and open predicates

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