Type-based race detection for Java
Top Cited Papers
- 1 May 2000
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 219-232
- https://doi.org/10.1145/349299.349328
Abstract
No abstract availableThis publication has 22 references indexed in Scilit:
- Making the future safe for the pastPublished by Association for Computing Machinery (ACM) ,1998
- WebL—a programming language for the WebComputer Networks and ISDN Systems, 1998
- EraserACM Transactions on Computer Systems, 1997
- Type and behaviour reconstruction for higher-order concurrent programsJournal of Functional Programming, 1997
- Region-Based Memory ManagementInformation and Computation, 1997
- Pizza into JavaPublished by Association for Computing Machinery (ACM) ,1997
- Annotated type and effect systemsACM Computing Surveys, 1996
- Polymorphic type, region and effect inferenceJournal of Functional Programming, 1992
- Algebraic reconstruction of types and effectsPublished by Association for Computing Machinery (ACM) ,1991
- Polymorphic effect systemsPublished by Association for Computing Machinery (ACM) ,1988