MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Parameterized Type System for Race-Free Java Programs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

A Parameterized Type System for Race-Free Java Programs
by Chandrasekhar Boyapati, Martin Rinard — 2001 — ACM CONFERENCE ON OBJECT-ORIENTED PROGRAMMING, SYSTEMS, LANGUAGES AND APPLICATIONS (OOPSLA), OCTOBER 2001
…), October 2001 Abstract A Parameterized Type System for Race-Free Java Programs This paper presents a new…
Cited by 137 (22 self) – Add To MetaCart

Type inference for parameterized race-free Java
by Rahul Agarwal, Scott D. Stoller — 2004 — In Proceedings of the Fifth International Conference on Verification, Model Checking and Abstract Interpretation
… introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs…
Cited by 35 (4 self) – Add To MetaCart

ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA
by Parameterized Type System
…), October 2001 Abstract A Parameterized Type System for Race-Free Java Programs This paper presents a new…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB