Cees Pierik

Publication Activity (10 Years)

Years Active: 2002-2005
Publications (10 Years): 0

Publications

Cees Pierik, Frank S. de Boer
A proof outline logic for object-oriented programming. Theor. Comput. Sci. 343 (3) (2005)
Cees Pierik, Dave Clarke, Frank S. de Boer
Controlling Object Allocation Using Creation Guards. FM (2005)
Cees Pierik, Frank S. de Boer
Modularity and the Rule of Adaptation. AMAST (2004)
Frank S. de Boer, Cees Pierik, Rogier M. van Eijk, John-Jules Ch. Meyer
Coordinating Agents in OO. Objects, Agents, and Features (2003)
Frank S. de Boer, Cees Pierik
How to Cook a Complete Hoare Logic for Your Pet OO Language. FMCO (2003)
Cees Pierik, Frank S. de Boer
A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts. FMOODS (2003)
Frank S. de Boer, Cees Pierik
Computer-aided Specification and Verification of Annotated Object-Oriented Programs. FMOODS (2002)