Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

Author: Hurlin, C.
Home Policy Brochure Browse Search User Area Contact Help


Amighi, A. and Haack, C. and Huisman, M. and Hurlin, C. (2015) Permission-based separation logic for multi-threaded Java programs. Logical Methods in Computer Science, 11 (1). 2. ISSN 1860-5974 *** ISI Impact 0,569 ***


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


Haack, C. and Hurlin, C. (2009) Resource Usage Protocols for Iterators. Journal of Object Technology, 8 (4). pp. 55-83. ISSN 1660-1769
Hurlin, C. (2009) Specifying and Checking Protocols of Multithreaded Classes. In: Proceedings of the 24th Annual ACM Symposium on Applied Computing, 8-12 Mar 2009, Hawaii, USA. pp. 587-592. ACM. ISBN 978-1-60558-166-8
Hurlin, C. (2009) Automatic Parallelization and Optimization of Programs by Proof Rewriting. In: The 16th International Static Analysis Symposium, 9-11 Aug 2009, Los Angeles, USA. pp. 52-68. Lecture Notes in Computer Science 5673. Springer Verlag. ISBN 978-3-642-03236-3


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