scientific article; zbMATH DE number 2087567

zbMath1051.68624MaRDI QIDQ4738384

Patrick Cousot, Radhia Cousot

Publication date: 11 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2304/23040159.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Computing methodologies and applications (68U99)

Related Items

Extending separation logic with fixpoints and postponed substitution ⋮ Type inference for record concatenation and subtyping ⋮ Why does Astrée scale up? ⋮ Deriving escape analysis by abstract interpretation ⋮ Resource-usage-aware configuration in software product lines ⋮ Lifting numeric relational domains to algebraic data types ⋮ Result invalidation for incremental modular analyses ⋮ Program verification: state of the art, problems, and results. I ⋮ Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization ⋮ Galois Connections for Recursive Types ⋮ Incremental Abstract Interpretation ⋮ Inferring functional properties of matrix manipulating programs by abstract interpretation ⋮ Incremental and Modular Context-sensitive Analysis ⋮ Precondition Inference from Intermittent Assertions and Application to Contracts on Collections ⋮ A relational shape abstract domain ⋮ A multi-domain incremental analysis engine and its application to incremental resource analysis