A Practical MHP Information Analysis for Concurrent Java Programs
Authors:
- 1 January 2005
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 194-208
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Hybrid dynamic data race detection2003
- Points-to analysis using BDDs2003
- Efficient and precise datarace detection for multithreaded object-oriented programs2002
- Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis2000
- Type-based race detection for Java2000
- Effective synchronization removal for Java2000
- Removing unnecessary synchronization in Java1999
- An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs1999
- Context-sensitive interprocedural points-to analysis in the presence of function pointers1994
- The program dependence graph and its use in optimizationACM Transactions on Programming Languages and Systems, 1987