Summarizing procedures in concurrent programs

DOI10.1145/964001.964022zbMATH Open1325.68156OpenAlexW2164496154MaRDI QIDQ3452264FDOQ3452264

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

Recommendations

• Computing Procedure Summaries for Interprocedural Analysis
• Generating precise and concise procedure summaries
• Programming Languages and Systems
• Model checking procedural programs
• scientific article; zbMATH DE number 1538033

zbMATH Keywords

model checkingpushdown systemsreductiontransactionsconcurrent programsprocedure summariesinterprocedural dataflow analysis

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (10)

• Summarization for termination: No return!
• Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors
• Verifying Multithreaded Recursive Programs with Integer Variables
• Multithreaded testing of program interfaces
• Computing Procedure Summaries for Interprocedural Analysis
• Budget-bounded model-checking pushdown systems
• Programming Languages and Systems
• Reducing concurrent analysis under a context bound to sequential analysis
• Verification of SpecC using predicate abstraction
• Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis

This page was built for publication: Summarizing procedures in concurrent programs

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