Department of Information and Computing Sciences

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

technical report UU-CS-2003-010

select other reports

report

techrep_id file title / author
UU-CS-2003-010 ps.gz
pdf
A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts
Cees Pierik, Frank S. de Boer

indexed authors

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

BibTeX entry

@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}
}