Jump to content

Object-Z

Edit links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Allan McInnes (talk | contribs) at 22:05, 3 August 2006 (→External links: recat - Category:Z notation is a subcat of Category:Specification languages). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Object-Z is an object-oriented extension to Z 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


Stub icon

This programming-language-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/enwiki/w/index.php?title=Object-Z&oldid=67522532"