Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2011
Haack, C. and Huisman, M. and Hurlin, C.
(2011)
Permission-Based Separation Logic for Multithreaded Java Programs.
Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica, 15.
pp. 13-23.
ISSN not assigned
2009
Haack, C. and Hurlin, C.
(2009)
Resource Usage Protocols for Iterators.
Journal of Object Technology, 8 (4).
pp. 55-83.
ISSN 1660-1769
2008
Haack, C. and Huisman, M. and Hurlin, C.
(2008)
Reasoning about Java's Reentrant Locks.
In: The Sixth ASIAN Symposium on Programming Languages and Systems, 9-11 Dec 2008, Bangalore, India.
pp. 171-187.
Lecture Notes in Computer Science 5356.
Springer Verlag.
ISSN 0302-9743
ISBN 978-3-540-89329-5
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||