|
|
Eric Kerfoot: Publications
by date |
by title |
by type |
bibtex
|
[1]
|
Checking Concurrent Contracts with Aspects
Eric Kerfoot, Steve McKeever
In Proceedings of the 25th Annual Symposium On Applied Computing March 2010.
Details
|
BibTeX
| Download (pdf) |
|
[2]
|
Deadlock Freedom Through Object Ownership
Eric Kerfoot, Steve McKeever and Faraz Torshizi
In Tobias Wrigstad, editor, 5rd International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO), in conjunction with ECOOP 2009 July 2009.
Details
|
BibTeX
| Download (pdf) |
|
[3]
|
Maintaining Invariants Through Object Coupling Mechanisms
Eric Kerfoot, Steve McKeever
In Tobias Wrigstad, editor, 3rd International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO), in conjunction with ECOOP 2007 July 2007.
Details
|
BibTeX
| Download (pdf) |
|
[4]
|
Automated Model-based Verification of Object-Oriented Code
J. S. Ostroff et al.
In Verified Software: Theories, Tools, Experiments (VSTTE Workshop, Floc 2006) Microsoft Research MSR-TR-2006-117, 2006.
Details
|
BibTeX
| Download (pdf) |
|
|
|
|
