Abstract Semantic Differencing for Numerical Programs

DOI10.1007/978-3-642-38856-9_14MaRDI QIDQ2870770zbMATH OpenOpenAlexFDO

Authors Nimrod Partush, Eran Yahav

Publication date 21 January 2014

Published in Static Analysis (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Verification, Model Checking, and Abstract Interpretation
• Limiting semantics of numerical programs
• Acceleration of the abstract fixpoint computation in numerical program analysis
• Runtime abstract interpretation for numerical accuracy and robustness
• Abstract semantic diffing of evolving concurrent programs
• Abstract Semantic Diffing of Evolving Concurrent Programs
• Computing properties of numerical imperative programs by symbolic computation
• scientific article; zbMATH DE number 5286863
• Calculus of equivalences of abstract programs

Cited in

(10)

• Abstract semantic diffing of evolving concurrent programs
• Product programs and relational program logics
• D^3: data-driven disjunctive abstraction
• Modular verification of procedure equivalence in the presence of memory allocation
• Symbolic automata for representing big code
• Abstract Semantic Diffing of Evolving Concurrent Programs
• Modular demand-driven analysis of semantic difference for program versions
• PEQtest: testing functional equivalence
• Lockstep composition for unbalanced loops
• Analysis of software patches using numerical abstract interpretation

This page was built for publication: Abstract Semantic Differencing for Numerical Programs

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