Browsing by Author "Wang, Shaochun"

Now showing items 1-1 of 1

  • Object orientation without extending Z

    Utting, Mark; Wang, Shaochun (Springer-Verlag, 2002-12-01)
    The good news of this paper is that without extending Z, we can elegantly specify object-oriented systems, including encapsulation, inheritance and subtype polymorphism (dynamic dispatch). The bad news is that this ...

Shaochun Wang has 1 co-authors in Research Commons.