Summarizing procedures in concurrent programs
DOI10.1145/964001.964022zbMath1325.68156OpenAlexW2164496154MaRDI QIDQ3452264
Jakob Rehof, Shaz Qadeer, Sriram K. Rajamani
Publication date: 11 November 2015
Published in: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/964001.964022
concurrent programsreductionmodel checkingpushdown systemstransactionsprocedure summariesinterprocedural dataflow analysis
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items