Sciweavers

CONCUR
1999
Springer

Object Types against Races

13 years 8 months ago
Object Types against Races
This paper investigates an approach for statically preventing race conditions in an object-oriented language. The setting of this work is a variant of Gordon and Hankin’s concurrent object calculus. We enrich that calculus with a form of dependent object types that enables us to verify that threads invoke and update methods only after acquiring appropriate locks. We establish that well-typed programs do not have race conditions.
Cormac Flanagan, Martín Abadi
Added 03 Aug 2010
Updated 03 Aug 2010
Type Conference
Year 1999
Where CONCUR
Authors Cormac Flanagan, Martín Abadi
Comments (0)