Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-Language
Furio Honsell, Marina Lenisa, Rekha RedamallaVolume:
104
Year:
2004
Language:
english
Pages:
18
DOI:
10.1016/j.entcs.2004.08.024
File:
PDF, 336 KB
english, 2004