Analyzing Array Manipulating Programs by Program Transformation

DOI10.1007/978-3-319-17822-6_1MaRDI QIDQ2949696zbMATH OpenOpenAlexWikidataFDO

Authors J. Robert M. Cornish, Graeme Gange, Jorge Navas, Peter Schachte, Harald Søndergaard, 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)

Recommendations

• scientific article; zbMATH DE number 4106261
• Verifying Array Programs by Transforming Verification Conditions
• Algorithmic analysis of array-accessing programs
• Algorithmic Analysis of Array-Accessing Programs
• Program extraction for mutable arrays
• The impact of program transformations on static program analysis
• scientific article; zbMATH DE number 3890701
• scientific article; zbMATH DE number 3963178
• Some methods of automatic analysis and controllable transformation of programs

Cites work

• A framework for numeric analysis of array operations
• A parametric segmentation functor for fully automatic and scalable array content analysis
• Fluid updates: beyond strong vs. weak updates
• scientific article; zbMATH DE number 1953274 (Why is no real title available?)
• Lazy abstraction with interpolants for arrays
• Lifting abstract interpreters to quantified logical domains
• SMT-based array invariant generation
• The Daikon system for dynamic detection of likely invariants
• Verifying Array Programs by Transforming Verification Conditions

Cited in

(5)

• Program extraction for mutable arrays
• An assume guarantee approach for checking quantified array assertions
• A rule-based verification strategy for array manipulating programs
• Verifying array manipulating programs with full-program induction
• Programming Languages and Systems

Describes a project that uses

Uses Software

• IKOS

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

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