A Step-indexed Semantics of Imperative Objects
Catalin Hritcu, Jan Schwinghammer
Logical Methods in Computer Science
A Step-indexed Semantics of Imperative Objects (Extended Abstract)
(pdf)
Catalin Hritcu, Jan Schwinghammer
Workshop Proceedings Foundations of Object-Oriented Languages (FOOL'08)
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