Region Analysis for Race Detection
Authors:
- 1 January 2009
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 171-187
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Heap Decomposition for Concurrent Shape Analysis2008
- Upper Adjoints for Fast Inter-procedural Variable Equalities2008
- An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software2007
- A Reachability Predicate for Analyzing Low-Level Software2007
- A Note on Karr’s Algorithm2004
- CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs2002
- A faster solver for general systems of equationsScience of Computer Programming, 1999
- Interprocedural pointer alias analysisACM Transactions on Programming Languages and Systems, 1999
- The interprocedural coincidence theoremLecture Notes in Computer Science, 1992
- Affine relationships among variables of a programActa Informatica, 1976