Programming Systems Lab: Publications by Catalin Hritcu

Saarland University Computer Science

Select author:

2009

A Step-indexed Semantics of Imperative Objects
Catalin Hritcu, Jan Schwinghammer
Logical Methods in Computer Science

2008

A Step-indexed Semantics of Imperative Objects (Extended Abstract)   (pdf)
Catalin Hritcu, Jan Schwinghammer
Workshop Proceedings Foundations of Object-Oriented Languages (FOOL'08)

2007

A Step-indexed Semantics of Imperative Objects (Extended Version)   (pdf)
Catalin Hritcu, Jan Schwinghammer
Technical Report

A Step-indexed Semantic Model of Types for the Functional Object Calculus   (pdf)
Catalin Hritcu
M.Sc. Thesis, Programming Systems Lab, Department of Informatics, Saarland University


Login to edit


Webmaster, Mon May 30 13:48:30 2016