Searching for "Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-Language." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-Language
by Furio Honsell, Marina Lenisa, Rekha Redamalla — University of Nijmegen, The Netherlands
… of an Imperative Class-based OO-Language ⋆ Abstract Furio Honsell 1 Marina Lenisa 2,3 Dipartimento di Matematica e…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB