Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures

DOI10.1007/978-3-540-74407-8_20MaRDI QIDQ3525644zbMATH OpenOpenAlexFDO

Authors Peter Lammich, Markus Müller-Olm

Publication date 18 September 2008

Published in CONCUR 2007 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74407-8_20

zbMATH Keywords

concurrent programming

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Context-bounded analysis for concurrent programs with dynamic creation of threads
• Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads
• Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures
• A generic approach to the static analysis of concurrent programs with procedures
• A Generic Approach to the Static Analysis of Concurrent Programs with Procedures
• CARET analysis of multithreaded programs
• Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous
• Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation)
• Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors

Cited in

(4)

• Model checking dynamic pushdown networks
• Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors
• On the Reachability Analysis of Acyclic Networks of Pushdown Systems
• Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL

This page was built for publication: Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures

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