Optimized algorithms for incremental analysis of logic programs

DOI10.1007/3-540-61739-6_47zbMath1482.68075OpenAlexW1572167572MaRDI QIDQ5030198

Germán Puebla, Manuel V. 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

priority queuelogic programmingincremental analysisabstract interpretationanswer pattern

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (7)

VeriFly: On-the-fly Assertion Checking via Incrementality ⋮ Analysis and Transformation of Constrained Horn Clauses for Program Verification ⋮ A general framework for static profiling of parametric resource usage ⋮ Incremental Abstract Interpretation ⋮ A Transformational Approach to Resource Analysis with Typed-norms Inference ⋮ Incremental and Modular Context-sensitive Analysis ⋮ Optimized algorithms for incremental analysis of logic programs

Cites Work

• Unnamed Item
• Abstract interpretation and application to logic programs
• Compile-time derivation of variable dependency using abstract interpretation
• Optimized algorithms for incremental analysis of logic programs
• A practical framework for theabstract interpretation of logic programs

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