×
Compute Distance To:
Author ID: pierik.cees Recent zbMATH articles by "Pierik, Cees"
Published as: Pierik, Cees; Pierik, C.
Documents Indexed: 7 Publications since 2002
Co-Authors: 4 Co-Authors with 7 Joint Publications
160 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

6 Publications have been cited 32 times in 21 Documents Cited by Year
A proof outline logic for object-oriented programming. Zbl 1077.68018
Pierik, Cees; De Boer, Frank S.
9
2005
A syntax-directed Hoare logic for object-oriented programming concepts. Zbl 1253.68087
Pierik, Cees; de Boer, Frank S.
9
2003
Computer-aided specification and verification of annotated object-oriented programs. Zbl 1048.68050
de Boer, F. S.; Pierik, C.
5
2002
Controlling object allocation using creation guards. Zbl 1120.68379
Pierik, Cees; Clarke, Dave; de Boer, Frank S.
4
2005
How to cook a complete Hoare logic for your pet OO language. Zbl 1104.68428
de Boer, Frank S.; Pierik, Cees
3
2004
Modularity and the rule of adaptation. Zbl 1108.68408
Pierik, Cees; de Boer, Frank S.
2
2004
A proof outline logic for object-oriented programming. Zbl 1077.68018
Pierik, Cees; De Boer, Frank S.
9
2005
Controlling object allocation using creation guards. Zbl 1120.68379
Pierik, Cees; Clarke, Dave; de Boer, Frank S.
4
2005
How to cook a complete Hoare logic for your pet OO language. Zbl 1104.68428
de Boer, Frank S.; Pierik, Cees
3
2004
Modularity and the rule of adaptation. Zbl 1108.68408
Pierik, Cees; de Boer, Frank S.
2
2004
A syntax-directed Hoare logic for object-oriented programming concepts. Zbl 1253.68087
Pierik, Cees; de Boer, Frank S.
9
2003
Computer-aided specification and verification of annotated object-oriented programs. Zbl 1048.68050
de Boer, F. S.; Pierik, C.
5
2002

Citations by Year