Descending chains and narrowing on template abstract domains

DOI10.1007/s00236-016-0291-0zbMath1398.68090OpenAlexW2570469621MaRDI QIDQ1671249

Francesca Scozzari, Maria Chiara Meo, Simone Di Nardo Di Maio, Gianluca Amato

Publication date: 6 September 2018

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-016-0291-0

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Descending chains and narrowing on template abstract domains ⋮ Decoupling the ascending and descending phases in abstract interpretation

Uses Software

• Aspic

Cites Work

• Unnamed Item
• Unnamed Item
• Discovering invariants via simple component analysis
• The octagon abstract domain
• Descending chains and narrowing on template abstract domains
• Two Variables per Linear Inequality as an Abstract Domain
• Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs
• Combining Widening and Acceleration in Linear Relation Analysis
• Abstract interpretation and application to logic programs
• The Abstract Domain of Parallelotopes
• Systematic design of program transformation frameworks by abstract interpretation
• Verification, Model Checking, and Abstract Interpretation
• Computer Aided Verification

This page was built for publication: Descending chains and narrowing on template abstract domains