Type inference for parameterized race-free Java

Type inference for parameterized race-free Java (2004)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Rahul Agarwal , Scott D. Stoller

Venue:	In Proceedings of the Fifth International Conference on Verification, Model Checking and Abstract Interpretation
Citations:	49 - 6 self

BibTeX

@INPROCEEDINGS{Agarwal04typeinference,
    author = {Rahul Agarwal and Scott D. Stoller},
    title = {Type inference for parameterized race-free Java},
    booktitle = {In Proceedings of the Fifth International Conference on Verification, Model Checking and Abstract Interpretation},
    year = {2004},
    pages = {149--160},
    publisher = {Springer-Verlag}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Abstract. We study the type system introduced by Boyapati and Rinard

Citations

478	Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs - Savage, Burrows, et al. - 1997
322	Flow-sensitive type qualifiers - Foster, Terauchi, et al. - 2002
221	Type-based race detection for java - Flanagan, Freund - 2000
181	A system and language for building system-specific, static analyses - Hallem, Chelf, et al. - 2002
179	Alias annotations for program understanding - Aldrich, Kostadinov, et al. - 2002
170	A parameterized type system for race-free Java programs - Boyapati, Rinard - 2001
104	Object Race Detection - Praun, Gross - 2001
90	Type-safe multithreading in cyclone - Grossman - 2003
77	Dynamically Discovering Likely Program Invariants - Ernst - 2000
41	Detecting race conditions in large programs - Flanagan, Freund - 2001
13	A type system equivalent to a model checker - Naik, Palsberg - 2005
3	A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints - Cousot, Cousot - 1977