SIGN IN
SIGN UP
Accelerating race condition detection through procrastination
Full Text:
PDF
Buy this Article
see
source materials
below for
more options
Authors:
Thomas Arts
Chalmers University of Technology, Göteborg, Sweden
John Hughes
Chalmers University of Technology, Göteborg, Sweden
Ulf Norell
Chalmers University of Technology, Göteborg, Sweden
Nicholas Smallbone
Chalmers University of Technology, Göteborg, Sweden
Hans Svensson
Chalmers University of Technology, Göteborg, Sweden
2011 Article
Bibliometrics
· Downloads (6 Weeks): 4
· Downloads (12 Months): 37
· Downloads (cumulative): 93
· Citation Count: 0
Published in:
· Proceeding
Erlang '11
Proceedings of the 10th ACM SIGPLAN workshop on Erlang
Pages 14-22
ACM
New York, NY
, USA
©2011
table of contents
ISBN: 978-1-4503-0859-5
doi>
10.1145/2034654.2034659
Tools and Resources
Buy this Article
Request Permissions
TOC Service:
Email
RSS
Save to Binder
Export Formats:
BibTeX
EndNote
ACM Ref
Upcoming Conference:
ICFP'13
Share:
|
Tags:
distributed debugging
erlang
quickcheck
race conditions
verification
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 Guide to Computing Literature
All Tags
Export Formats
Save to Binder