Optimized algorithms for incremental analysis of logic programs

DOI10.1007/3-540-61739-6_47MaRDI QIDQ5030198zbMATH OpenOpenAlexFDO

Authors Germán Puebla, Manuel Hermenegildo

Publication date 16 February 2022

Published in Static Analysis (Search for Journal in Brave)

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

zbMATH Keywords

abstract interpretationanswer patternincremental analysislogic programmingpriority queue

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1487945
• A Local Algorithm for Incremental Evaluation of Tabled Logic Programs
• Computer Aided Verification
• Efficient dataflow analysis of logic programs
• Incremental and modular context-sensitive analysis

Cites work

• A practical framework for theabstract interpretation of logic programs
• Abstract interpretation and application to logic programs
• Compile-time derivation of variable dependency using abstract interpretation
• scientific article; zbMATH DE number 1497828 (Why is no real title available?)
• Optimized algorithms for incremental analysis of logic programs

Cited in

(21)

• Incremental constraint satisfaction for equational logic programming
• A multi-domain incremental analysis engine and its application to incremental resource analysis
• Incremental Abstract Interpretation
• Incremental Algorithms for Local Search from Existential Second-Order Logic
• Fast Offline Partial Evaluation of Large Logic Programs
• Efficient dataflow analysis of logic programs
• Incremental algorithms for optimizing model computation based on partial instantiation
• scientific article; zbMATH DE number 1487945 (Why is no real title available?)
• A general framework for static profiling of parametric resource usage
• A transformational approach to resource analysis with typed-norms inference
• Incremental and modular context-sensitive analysis
• 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
• A Local Algorithm for Incremental Evaluation of Tabled Logic Programs
• Logic Programming
• Computer Aided Verification
• VeriFly: On-the-fly Assertion Checking via Incrementality
• Analysis and Transformation of Constrained Horn Clauses for Program Verification
• On Incremental Pre-processing for SMT
• A semantic approach to optimize linear datalog programs

This page was built for publication: Optimized algorithms for incremental analysis of logic programs

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