Abstract Semantic Diffing of Evolving Concurrent Programs
DOI10.1007/978-3-319-66706-5_3zbMATH Open1420.68051OpenAlexW2742244291MaRDI QIDQ5233236FDOQ5233236
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
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
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)
Cited In (6)
- Abstract semantic diffing of evolving concurrent programs
- Foreword to the special issue on the 2017 static analysis symposium
- On quantitative comparison of chemical reaction network models
- Modular demand-driven analysis of semantic difference for program versions
- Analysis of software patches using numerical abstract interpretation
- Abstract Semantic Differencing for Numerical Programs
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)
