Analyzing Array Manipulating Programs by Program Transformation

DOI10.1007/978-3-319-17822-6_1zbMath1457.68060OpenAlexW1826533798WikidataQ57664995 ScholiaQ57664995MaRDI QIDQ2949696

Graeme Gange, Harald Søndergaard, J. Robert M. Cornish, Jorge A. Navas, Peter Schachte, Peter J. Stuckey

Publication date: 2 October 2015

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11343/54766

Mathematics Subject Classification ID

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

Uses Software

• IKOS

Cites Work

• Unnamed Item
• The Daikon system for dynamic detection of likely invariants
• Lazy Abstraction with Interpolants for Arrays
• SMT-Based Array Invariant Generation
• Verifying Array Programs by Transforming Verification Conditions
• Lifting abstract interpreters to quantified logical domains
• Fluid Updates: Beyond Strong vs. Weak Updates
• A framework for numeric analysis of array operations
• A parametric segmentation functor for fully automatic and scalable array content analysis

This page was built for publication: Analyzing Array Manipulating Programs by Program Transformation