| 2005 |
|---|
| 7 | EE | Cees Pierik,
Dave Clarke,
Frank S. de Boer:
Controlling Object Allocation Using Creation Guards.
FM 2005: 59-74 |
| 6 | EE | Cees Pierik,
Frank S. de Boer:
A proof outline logic for object-oriented programming.
Theor. Comput. Sci. 343(3): 413-442 (2005) |
| 2004 |
|---|
| 5 | EE | Cees Pierik,
Frank S. de Boer:
Modularity and the Rule of Adaptation.
AMAST 2004: 394-408 |
| 2003 |
|---|
| 4 | EE | Frank S. de Boer,
Cees Pierik:
How to Cook a Complete Hoare Logic for Your Pet OO Language.
FMCO 2003: 111-133 |
| 3 | EE | Cees Pierik,
Frank S. de Boer:
A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts.
FMOODS 2003: 64-78 |
| 2 | EE | Frank S. de Boer,
Cees Pierik,
Rogier M. van Eijk,
John-Jules Ch. Meyer:
Coordinating Agents in OO.
Objects, Agents, and Features 2003: 8-25 |
| 2002 |
|---|
| 1 | | Frank S. de Boer,
Cees Pierik:
Computer-aided Specification and Verification of Annotated Object-Oriented Programs.
FMOODS 2002: 163-177 |
