Department of Information and Computing Sciences

Departement Informatica contact intern
people education research library calendar archive services jobs

technical reports : dr. C. Pierik

Cees  Pierik

select other reports

this selection

author dr. C. Pierik

reports (3)

techrep_id file title / author
UU-CS-2003-032 ps.gz
pdf
A Rule of Adaptation for OO
Cees Pierik and Frank S. de Boer
UU-CS-2003-010 ps.gz
pdf
A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts
Cees Pierik, Frank S. de Boer
UU-CS-2003-002 ps.gz
pdf
Towards an environment for the verification of annotated object-oriented programs
Frank S. de Boer, Cees Pierik

indexed (co) authors

author group
Boer, dr. F.S. de all reports Intelligent Systems all reports
Pierik, dr. C. all reports Intelligent Systems all reports

BibTeX entries

@TECHREPORT{UUCS2003032,
author = {Pierik, Cees and Boer, Frank~S.~de},
year = 2003,
title = {A Rule of Adaptation for OO},
number = {UU-CS-2003-032},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-032.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-032.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003010,
author = {Pierik, Cees and Boer, Frank~S.~de},
year = 2003,
title = {A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts},
number = {UU-CS-2003-010},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-010.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-010.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003002,
author = {Boer, Frank~S.~de and Pierik, Cees},
year = 2003,
title = {Towards an environment for the verification of annotated object-oriented programs},
number = {UU-CS-2003-002},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-002.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-002.pdf}},
pubcat = {techreport}
}