Object-Z
≈ 1 min read
Names in other languages
No names in other languages are held for this entry yet.
Article bodies are English and are not machine-translated. A name in another language is not a translation of the article.
Object Z is a six-part British television science fiction series made by Rediffusion, first transmitted by ITV in 1965.
Object-Z is an object-oriented extension to the Z notation developed at the University of Queensland, Australia. Object-Z extends Z by the addition of language constructs resembling the object-oriented paradigm, most notably, classes. Other object-oriented notions such as polymorphism and inheritance are also supported. While not as popular as its base language Z, Object-Z has still received significant attention in the formal methods community, and research on aspects of the language are ongoing, including hybrid languages using Object-Z, tool support (e.g., through the Community Z Tools project) and refinement calculi.
See also
Z++
References
External links
The Object-Z Home Page Community Z Tools (CZT) project
Text derived from https://en.wikipedia.org/w/index.php?oldid=1376144912 under CC BY-SA 4.0; modifications have been made.