Middelkoop, R.

English

Middelkoop, R Ronald

Repository TU/e

A proof system for object oriented programming using separation logic

Pure OAI Repository

 Eindhoven University of TechnologyMASTERA proof system for object oriented programming using separation logicMiddelkoop, R.Award date:2003Link to publicationDisclaimerThis document contains a student thesis (bachelor's or master's), as authored by a student at Eindhoven University of Technology. Studenttheses are made available in the TU/e repository upon obtaining the required degree. The grade received is not published on the documentas presented in the repository. The required complexity or quality of research of student theses may vary by program, and the requiredminimum study period may vary in duration.General rightsCopyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright ownersand it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights.            • Users may download and print one copy of any publication from the public portal for the purpose of private study or research.            • You may not further distribute the material or use it for any profit-making activity or commercial gain

https://pure.tue.nl/ws/files/46825489/575418-1.pdf

A proof system for object oriented programming using separation logic

Abstract

Similar works

Full text

Available Versions

Repository TU/e

Pure OAI Repository