Causal Dataflow Analysis for Concurrent Programs

DOI10.1007/978-3-540-71209-1_10MaRDI QIDQ5758105zbMATH OpenOpenAlexFDO

Authors Azadeh Farzan, Parthasarathy Madhusudan

Publication date 3 September 2007

Published in Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/2142/11347

Mathematics Subject Classification ID

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

Recommendations

• Dataflow analysis for datarace-free programs
• Inductive data flow graphs
• Causal Atomicity
• Abstract interpretation with unfoldings
• Verification of concurrent programs using Petri net unfoldings

Cited in

(5)

• Inductive data flow graphs
• Complexity of data dependence problems for program schemas with concurrency
• Data Flow Analysis for CCS
• Parametric and Sliced Causality
• Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model

This page was built for publication: Causal Dataflow Analysis for Concurrent Programs

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