Dataflow Analysis for Datarace-Free Programs

DOI10.1007/978-3-642-19718-5_11zbMath1326.68074OpenAlexW1751824204MaRDI QIDQ3000580

No author found.

Publication date: 19 May 2011

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-19718-5_11

zbMATH Keywords

concurrencydataflow analysisdatarace-free program

Mathematics Subject Classification ID

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

Related Items (2)

Improving thread-modular abstract interpretation ⋮ Dataflow Analysis for Datarace-Free Programs

Uses Software

• Soot

Cites Work

• Monotone data flow analysis frameworks
• Dataflow Analysis for Datarace-Free Programs
• Compositional Bitvector Analysis for Concurrent Programs with Nested Locks
• Thread-Modular Counterexample-Guided Abstraction Refinement
• The Java memory model
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Dataflow Analysis for Datarace-Free Programs