Abstract Semantic Diffing of Evolving Concurrent Programs

DOI10.1007/978-3-319-66706-5_3MaRDI QIDQ5233236zbMATH OpenOpenAlexFDO

Authors Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri

Publication date 16 September 2019

Published in Static Analysis (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) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Abstract semantic diffing of evolving concurrent programs
• The role of concurrency in an evolutionary view of programming abstractions
• Concurrent programming languages and methods for semantic analyses (extended abstract of invited talk)
• Abstract Semantic Differencing for Numerical Programs
• Streamlining progress-based derivations of concurrent programs
• scientific article; zbMATH DE number 1023018
• Locally abstract, globally concrete semantics of concurrent programming languages
• Synthesis of large dynamic concurrent programs from dynamic specifications

Cited in

(6)

• Abstract semantic diffing of evolving concurrent programs
• Foreword to the special issue on the 2017 static analysis symposium
• Analysis of software patches using numerical abstract interpretation
• On quantitative comparison of chemical reaction network models
• Abstract Semantic Differencing for Numerical Programs
• Modular demand-driven analysis of semantic difference for program versions

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 Q5233236)