Incremental Abstract Interpretation

DOI10.1007/978-3-030-41103-9_5MaRDI QIDQ3297840zbMATH OpenOpenAlexFDO

Authors Helmut Seidl, Julian Erhard, Ralf Vogler

Publication date 20 July 2020

Published in From Lambda Calculus to Cybersecurity Through Program Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-41103-9_5

Mathematics Subject Classification ID

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

Recommendations

• An Incremental Approach to Abstraction-Carrying Code
• scientific article; zbMATH DE number 1701753
• Abstract Interpretation Frameworks
• Frameworks for abstract interpretation
• Abstract interpretation from a denotational-semantics perspective
• Abstract interpretation with unfoldings
• Abstract interpretation with infinitesimals. Towards scalability in nonstandard static analysis
• Abstract interpretation as a programming language
• Incremental computing with abstract data structures

Cites work

• Abstract interpretation and application to logic programs
• An Incremental Algorithm for a Generalization of the Shortest-Path Problem
• Continuous reasoning: scaling the impact of formal methods
• Enhancing top-down solving with widening and narrowing
• scientific article; zbMATH DE number 3610766 (Why is no real title available?)
• scientific article; zbMATH DE number 2087567 (Why is no real title available?)
• On monadic parametricity of second-order functionals
• Optimized algorithms for incremental analysis of logic programs

Cited in

(9)

• Reusing predicate precision in value analysis
• An abstract interpretation framework for input data usage
• A multi-domain incremental analysis engine and its application to incremental resource analysis
• Incremental false path elimination for static software analysis
• scientific article; zbMATH DE number 1487945 (Why is no real title available?)
• Incremental and modular context-sensitive analysis
• Incremental analysis of logic programs with assertions and open predicates
• Sweeping in Abstract Interpretation
• Computer Aided Verification

This page was built for publication: Incremental Abstract Interpretation

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