Enhancing top-down solving with widening and narrowing

DOI10.1007/978-3-319-27810-0_14MaRDI QIDQ2796229zbMATH OpenOpenAlexFDO

Authors Kalmer Apinis, Helmut Seidl, Vesal Vojdani

Publication date 23 March 2016

Published in Semantics, Logics, and Calculi (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-27810-0_14

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Three improvements to the top-down solver
• A minimalistic look at widening operators
• scientific article; zbMATH DE number 4041327
• Narrowing directed by a graph of terms
• Narrowing operators on template abstract domains

Cited in

(4)

• A multiresolution discrete element method for triangulated objects with implicit time stepping
• Demand-driven interprocedural analysis for map-based abstract domains
• Incremental Abstract Interpretation
• Three improvements to the top-down solver

This page was built for publication: Enhancing top-down solving with widening and narrowing

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