Coalgebraic Semantics of an Imperative Class Based Language (2003)
by
Furio Honsell
,
Marina Lenisa
| Venue: | Dipartimento di Matematica e Infomatica, Universita’ di |
| Citations: | 2 - 0 self |
BibTeX
@TECHREPORT{Honsell03coalgebraicsemantics,
author = {Furio Honsell and Marina Lenisa},
title = {Coalgebraic Semantics of an Imperative Class Based Language},
institution = {Dipartimento di Matematica e Infomatica, Universita’ di},
year = {2003}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We study two observational equivalences of Fickle programs. Fickle is a class-based object oriented imperative language...
