A generic approach to the static analysis of concurrent programs with procedures
- 15 January 2003
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 38 (1) , 62-73
- https://doi.org/10.1145/604131.604137
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- The regular viewpoint on PA-processesTheoretical Computer Science, 2002
- Verifying safety properties of concurrent Java programs using 3-valued logicACM SIGPLAN Notices, 2001
- Context-sensitive synchronization-sensitive analysis is undecidableACM Transactions on Programming Languages and Systems, 2000
- Efficient algorithms for pre* and post* on interprocedural parallel flow graphsPublished by Association for Computing Machinery (ACM) ,2000
- A conservative data flow algorithm for detecting all pairs of statements that may happen in parallelPublished by Association for Computing Machinery (ACM) ,1998
- Data flow analysis for verifying properties of concurrent programsPublished by Association for Computing Machinery (ACM) ,1994
- Concurrency analysis in the presence of procedures using a data-flow frameworkPublished by Association for Computing Machinery (ACM) ,1991
- A general-purpose algorithm for analyzing concurrent programsCommunications of the ACM, 1983