Fluid Updates: Beyond Strong vs. Weak Updates

DOI10.1007/978-3-642-11957-6_14zbMath1260.68092OpenAlexW1533634404MaRDI QIDQ3558225

Thomas Dillig, Isil Dillig, Alex Aiken

Publication date: 4 May 2010

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-11957-6_14

Mathematics Subject Classification ID

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

Related Items (9)

Decision procedures for flat array properties ⋮ Lingva: Generating and Proving Program Properties Using Symbol Elimination ⋮ Analyzing Array Manipulating Programs by Program Transformation ⋮ An extension of lazy abstraction with interpolation for programs with arrays ⋮ An array content static analysis based on non-contiguous partitions ⋮ From invariant checking to invariant inference using randomized search ⋮ Generic Abstraction of Dictionaries and Arrays ⋮ Inferring functional properties of matrix manipulating programs by abstract interpretation ⋮ Proving Safety with Trace Automata and Bounded Model Checking

Uses Software

• SLAM
• Coreutils
• SPEED

This page was built for publication: Fluid Updates: Beyond Strong vs. Weak Updates