Abstract semantic diffing of evolving concurrent programs

DOI10.1007/S10703-018-0322-2MaRDI QIDQ2322311zbMATH OpenOpenAlexFDO

Authors Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri

Publication date 4 September 2019

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-66706-5_3

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Abstract Semantic Diffing of Evolving Concurrent Programs
• Abstract Semantic Differencing for Numerical Programs
• Modular demand-driven analysis of semantic difference for program versions
• A Mechanically Checked Generation of Correlating Programs Directed by Structured Syntactic Differences
• Regression verification for multi-threaded programs

Cites work

• Effective Program Verification for Relaxed Memory Models
• From non-preemptive to preemptive scheduling using synchronization synthesis
• Inductive data flow graphs
• Inference rules for proving the equivalence of recursive procedures
• Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation)
• The existence of refinement mappings
• Tools and Algorithms for the Construction and Analysis of Systems
• Underspecified harnesses and interleaved bugs

Cited in

(4)

• Abstract Semantic Differencing for Numerical Programs
• Abstract Semantic Diffing of Evolving Concurrent Programs
• Modular demand-driven analysis of semantic difference for program versions
• Analysis of software patches using numerical abstract interpretation

Describes a project that uses

Uses Software

• CBMC
• Liss
• Limi
• SymDiff

This page was built for publication: Abstract semantic diffing of evolving concurrent programs

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