Goldilocks: a race-aware Java runtime

doi:10.1145/1839676.1839698

Goldilocks: a race-aware Java runtime

Full Text:

Html

PDF SIGN IN to get this Article

see source materials below for more options

Authors:	Tayfun Elmas	Koç University, Istanbul, Turkey
	Shaz Qadeer	Microsoft Research, Redmond, WA
	Serdar Tasiran	Koç University, Istanbul, Turkey

Published in:

	· Magazine
	Communications of the ACM CACM Homepage archive
	Volume 53 Issue 11, November 2010 Pages 85-92 ACM New York, NY, USA table of contents doi>10.1145/1839676.1839698

	2010 Article Popular Refereed
Bibliometrics
· Downloads (6 Weeks): 7 · Downloads (12 Months): 65 · Downloads (cumulative): 2,614 · Citation Count: 2

Tools and Resources

Buy this Article
Request Permissions
TOC Service:
- Email
- RSS
Save to Binder
Export Formats:
- BibTeX
- EndNote
- ACM Ref

Share:

|

Tags: software/program verification specifying and verifying and reasoning about programs testing and debugging

Feedback | Switch to single page view (no tabs)

**Javascript is not enabled and is required for the "tabbed view" or switch to the single page view**

Powered by

The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2013 ACM, Inc.
Terms of Usage Privacy Policy Code of Ethics Contact Us

Useful downloads:

Adobe Acrobat

QuickTime

Windows Media Player

Real Player

The ACM Guide to Computing Literature

All Tags

Export Formats

Save to Binder