 | 2005 |
|---|
| 7 |       | Cees Pierik,
Dave Clarke,
Frank S. de Boer:
Controlling Object Allocation Using Creation Guards.
FM 2005: 59-74 |
| 6 | | Cees Pierik,
Frank S. de Boer:
A proof outline logic for object-oriented programming.
Theor. Comput. Sci. 343(3): 413-442 (2005) |
| 2004 |
|---|
| 5 | | Cees Pierik,
Frank S. de Boer:
Modularity and the Rule of Adaptation.
AMAST 2004: 394-408 |
| 2003 |
|---|
| 4 | | Frank S. de Boer,
Cees Pierik:
How to Cook a Complete Hoare Logic for Your Pet OO Language.
FMCO 2003: 111-133 |
| 3 | | Cees Pierik,
Frank S. de Boer:
A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts.
FMOODS 2003: 64-78 |
| 2 | | 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 |
