| dc.contributor.author | Utting, Mark | en_US |
| dc.contributor.author | Wang, Shaochun | en_US |
| dc.coverage.spatial | Conference held at Turku, Finland | en_NZ |
| dc.date.accessioned | 2008-03-19T04:58:26Z | |
| dc.date.available | 2007-07-22 | en_US |
| dc.date.available | 2008-03-19T04:58:26Z | |
| dc.date.issued | 2002-12-01 | en_US |
| dc.identifier.citation | Utting, M. & Wang, S. (2002). Object orientation without extending Z. (Working paper series. University of Waikato, Department of Computer Science. No. 12/02/2002). Hamilton, New Zealand: University of Waikato. | en_US |
| dc.identifier.uri | https://hdl.handle.net/10289/71 | |
| dc.description.abstract | 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 specification style is rather different to normal
Z specifications, more abstract and axiomatic, which means that it is
not so well supported by current Z tools such as animators. It also enforces
behavioural subtyping, unlike most object-oriented programming
languages. This paper explains the proposed style, with examples, and
discusses its advantages and disadvantages. | en_US |
| dc.format.mimetype | application/pdf | |
| dc.language.iso | en | |
| dc.publisher | Springer-Verlag | en_NZ |
| dc.source | 3rd International Conference on B and Z Users | en_NZ |
| dc.title | Object orientation without extending Z | en_US |
| dc.type | Working Paper | en_US |
| dc.relation.isPartOf | Third International Conference of B and Z Users | en_NZ |
| pubs.begin-page | 319 | en_NZ |
| pubs.elements-id | 13936 | |
| pubs.end-page | 338 | en_NZ |
| pubs.finish-date | 2003-06-06 | en_NZ |
| pubs.start-date | 2003-06-04 | en_NZ |
| pubs.volume | Proceedings of the Third International Conference of B and Z Users | en_NZ |
