Complete abstractions everywhere

DOI10.1007/978-3-642-35873-9_3MaRDI QIDQ2926636zbMATH OpenOpenAlexFDO

Authors Francesco Ranzato

Publication date 3 November 2014

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-35873-9_3

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Analyzing program analyses
• Comparing Completeness Properties of Static Analyses and Their Logics
• Making abstract interpretations complete
• Making abstract models complete
• On the power of abstract interpretation

Cited in

(9)

• Completeness of abstract domains for string analysis of JavaScript programs
• Analyzing program analyses
• On the power of abstract interpretation
• Comparing Completeness Properties of Static Analyses and Their Logics
• Making abstract models complete
• Local completeness logic on Kleene algebra with tests
• Logics for extensional, locally complete analysis via domain refinements
• Language inclusion algorithms as complete abstract interpretations
• Robustness verification of support vector machines

This page was built for publication: Complete abstractions everywhere

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