|
Search the dblp DataBase
Cees Pierik:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Cees Pierik, Frank S. de Boer
Modularity and the Rule of Adaptation. [Citation Graph (0, 0)][DBLP] AMAST, 2004, pp:394-408 [Conf]
- Frank S. de Boer, Cees Pierik, Rogier M. van Eijk, John-Jules Ch. Meyer
Coordinating Agents in OO. [Citation Graph (0, 0)][DBLP] Objects, Agents, and Features, 2003, pp:8-25 [Conf]
- Cees Pierik, Dave Clarke, Frank S. de Boer
Controlling Object Allocation Using Creation Guards. [Citation Graph (0, 0)][DBLP] FM, 2005, pp:59-74 [Conf]
- Frank S. de Boer, Cees Pierik
How to Cook a Complete Hoare Logic for Your Pet OO Language. [Citation Graph (0, 0)][DBLP] FMCO, 2003, pp:111-133 [Conf]
- Frank S. de Boer, Cees Pierik
Computer-aided Specification and Verification of Annotated Object-Oriented Programs. [Citation Graph (0, 0)][DBLP] FMOODS, 2002, pp:163-177 [Conf]
- Cees Pierik, Frank S. de Boer
A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts. [Citation Graph (0, 0)][DBLP] FMOODS, 2003, pp:64-78 [Conf]
- Cees Pierik, Frank S. de Boer
A proof outline logic for object-oriented programming. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2005, v:343, n:3, pp:413-442 [Journal]
Search in 0.001secs, Finished in 0.001secs
|