Incremental Abstract Interpretation

DOI10.1007/978-3-030-41103-9_5zbMath1440.68047OpenAlexW3006146940MaRDI QIDQ3297840

Helmut Seidl, Ralf Vogler, Julian Erhard

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

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

Related Items (1)

Reusing predicate precision in value analysis

Cites Work

• Unnamed Item
• Unnamed Item
• Enhancing Top-Down Solving with Widening and Narrowing
• Abstract interpretation and application to logic programs
• An Incremental Algorithm for a Generalization of the Shortest-Path Problem
• On Monadic Parametricity of Second-Order Functionals
• Optimized algorithms for incremental analysis of logic programs
• Continuous Reasoning
• Enforcing termination of interprocedural analysis

This page was built for publication: Incremental Abstract Interpretation