Searching for "Class Refinement as Semantics of Correct Object Substitutability." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

Class Refinement as Semantics of Correct Object Substitutability
by Ralph-Johan Back, Anna Mikhajlova, Joakim Von Wright — Formal Aspects of Computing
…Class Refinement as Semantics of Correct Object Substitutability Ralph-Johan Back, Anna Mikhajlova…
Cited by 11 (4 self) – Add To MetaCart

Ensuring Correctness of Object and Component Systems
by Anna Mikhajlova, Anna Mikhajlova, Anna Mikhajlova, Painosalama Oy, Îñèï Ìàíäåëüøòàì — 1999
…. Refinement of Generic Classes as Semantics of Correct Polymorphic Reuse. In Proceedings of the International…
Cited by 7 (0 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB