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


Legal notice, Privacy policy