Detecting Read-Only Methods in Java (2000)

View PDF

Download Links

by Jeff Bogda
Venue:In Proc. of the ACM Workshop on Languages, Compilers, and Runtime Systems for Scalable Computers (LCR 2000
Citations:2 - 0 self

Active Bibliography

142 Pointer Analysis for Multithreaded Programs – Radu Rugina, Martin Rinard - 1999
123 Removing Unnecessary Synchronization in Java РJeff Bogda, Urs Hölzle - 1999
245 Compositional Pointer and Escape Analysis for Java Programs – John Whaley, Martin Rinard - 1999
205 A Parameterized Type System for Race-Free Java Programs – Chandrasekhar Boyapati, Martin Rinard - 2001
USENIX Association – unknown authors - 2001
591 Dynamically discovering likely program invariants to support program evolution – M Ernst, J Cockrell, W Griswold, D Notkin - 1998
579 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
Removing Unnecessary Synchronization in Java – unknown authors
261 Type-based race detection for Java – Cormac Flanagan, Stephen N. Freund