Reference54 articles.
1. A.J. Alencar and J.A. Goguen. OOZE: An object oriented Z environment. In P. America, editor, Proc. European Conf. on Object-Oriented Programming (EC00P’91), volume 512 of Lect. Notes in Comput. Sci., pages 180–199, 1991.
2. P. America. A behavioural approach to subtyping in object-oriented programming languages. In Proc. REX School/Workshop on Foundations of Object-Oriented Languages, 1990.
3. G. Booch. Object-Oriented Design with Applications. Addison-Wesley, 1990.
4. L. Cardelli. A semantics of multiple inheritance. In G. Kahn, D.B. MacQueen, and G. Plotkin, editors, Semantics of Data Types, volume 173 of Lect. Notes in Comput. Sci., pages 51–68. Springer-Verlag, 1984.
5. L. Cardelli. Structural subtyping and the notion of power types. In Proceedings of Confererence on Principles of Programming Languages, pages 70–79, 1988.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Select Z Bibliography;ZUM ’98: The Z Formal Specification Notation;1998
2. Z and Abstract Machine Notation: A Comparison;Z User Workshop, Cambridge 1994;1994