Incremental Analysis of Logic Programs with Assertions and Open Predicates

DOI10.1007/978-3-030-45260-5_3zbMath1502.68065OpenAlexW3019340178MaRDI QIDQ5097624

Isabel García-Contreras, Manuel V. Hermenegildo, Jose Francisco 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

verificationHorn clauseslogic programsspecificationabstract interpretationassertionsincremental static analysisgeneric code

Mathematics Subject Classification ID

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

Related Items

VeriFly: On-the-fly Assertion Checking via Incrementality ⋮ Parallel Logic Programming: A Sequel ⋮ Analysis and Transformation of Constrained Horn Clauses for Program Verification ⋮ Testing your (static analysis) truths

Uses Software

• Haskell
• XSB
• go
• LPdoc

Cites Work

• Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
• XSB: Extending Prolog with Tabled Logic Programming
• Abstract Interpretation with Specialized Definitions
• Hybrid type checking
• A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
• A practical framework for theabstract interpretation of logic programs
• Multivariant assertion-based guidance in abstract interpretation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item