A programming model for concurrent object-oriented programs

doi:10.1145/1452044.1452045

A programming model for concurrent object-oriented programs

Full Text:

Pdf

Buy this Article

Authors:	Bart Jacobs	Katholieke Universiteit Leuven
	Frank Piessens	Katholieke Universiteit Leuven
	Jan Smans	Katholieke Universiteit Leuven
	K. Rustan M. Leino	Microsoft Research
	Wolfram Schulte	Microsoft Research

	2008 Article Research Refereed
Bibliometrics
· Downloads (6 Weeks): 5 · Downloads (12 Months): 68 · Downloads (cumulative): 929 · Citation Count: 8

Published in:

	· Journal
	ACM Transactions on Programming Languages and Systems (TOPLAS) TOPLAS Homepage archive
	Volume 31 Issue 1, December 2008 Article No. 1 ACM New York, NY, USA table of contents doi>10.1145/1452044.1452045

Tools and Resources

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

Tags: aliasing assertions class invariants concurrent programming correctness proofs data races formal methods invariants local reasoning logics of programs mechanical verification modular reasoning ownership pre- and post-conditions programming by contract specification techniques verification verification condition generation

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