- Radboud Repository
- →
- Browsing by Author
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by Author "Haack, C."
Now showing items 1-17 of 17
-
Type-based Object Immutability with Flexible Initialization 2009, Article in monograph or in proceedings (Drossopoulou, S. (ed.), ECOOP 2009 – Object-Oriented Programming : 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings, pp. 520-545) -
Type-based Object Immutability with Flexible Initialization - extended version 2009, External research report
-
Resource Usage Protocols for Iterators Haack, C. ; Hurlin, C.2009, Article / Letter to editor (Journal of Object Technology, vol. 8, iss. 4, (2009), pp. 55-83)
-
Reasoning about Java's Reentrant Locks Haack, Christian ; Huisman, Marieke ; Hurlin, C.2008, External research report
-
Separation Logic Contracts for a Java-like Language with Fork/Join Haack, C. ; Hurlin, C.2008, External research report
-
Reasoning about Java's Reentrant Locks Haack, C. ; Huisman, Marieke ; Hurlin, C.2008, Article in monograph or in proceedings (Ramalingam, G. (ed.), Programming Languages and Systems : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings, pp. 171-187)
-
Separation Logic Contracts for a Java-like Language with Fork/Join Haack, C. ; Hurlin, C.2008, Article in monograph or in proceedings (Meseguer, J.; Rosu, G. (ed.), Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings, pp. 199-215)
-
Immutable Objects for a Java-like Language 2007, Article in monograph or in proceedings (ESOP'07, pp. 347-362)
-
-
-
Pattern-Matching Spi-Calculus Haack, Christian ; Jeffrey, Alan2006, Article / Letter to editor (Information and Computation, vol. 204, iss. 8, (2006), pp. 1195-1263) -
Timed spi-calculus with types for secrecy and authenticity Haack, C. ; Jeffrey, A.2005, Part of book or chapter of book (Abadi, M.; DeAlfaro, L. (ed.), Secondary Timed spi-calculus with types for secrecy and authenticity, pp. 202-216) -
Type error slicing in implicitly typed higher-order languages Haack, C. ; Wells, J.B.2004, Article / Letter to editor (Science of Computer Programming, vol. 50, iss. 1-3, (2004), pp. 189-224)
-
Type error slicing in implicitly typed higher-order languages Haack, C. ; Wells, J.B.2003, Part of book or chapter of book (Degano, P. (ed.), Secondary Type error slicing in implicitly typed higher-order languages, pp. 284-301)
-
Branching types Wells, J.B.; Haack, C.2002, Part of book or chapter of book (LeMetayer, D. (ed.), Secondary Branching types, pp. 115-132)
-
A decomposition theorem for domains 1996, Article / Letter to editor (Information and Computation, vol. 124, iss. 1, (1996), pp. 62-67)
Now showing items 1-17 of 17
Search Repository
Browse
-
All of Repository
Upload Full Text