Cees Pierik

According to our database, Cees Pierik authored at least 7 papers between 2002 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

A proof outline logic for object-oriented programming.

Cees Pierik, Frank S. de Boer

Theor. Comput. Sci., 2005

Controlling Object Allocation Using Creation Guards.

Cees Pierik, Dave Clarke, Frank S. de Boer

Proceedings of the FM 2005: Formal Methods, 2005

2004

Modularity and the Rule of Adaptation.

Cees Pierik, Frank S. de Boer

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts.

Cees Pierik, Frank S. de Boer

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

How to Cook a Complete Hoare Logic for Your Pet OO Language.

Frank S. de Boer, Cees Pierik

Proceedings of the Formal Methods for Components and Objects, 2003

Coordinating Agents in OO.

Frank S. de Boer, Cees Pierik, Rogier M. van Eijk, John-Jules Ch. Meyer

Proceedings of the Objects, 2003

2002

Computer-aided Specification and Verification of Annotated Object-Oriented Programs.

Frank S. de Boer, Cees Pierik

Proceedings of the Formal Methods for Open Object-Based Distributed Systems V, 2002