kids encyclopedia robot

Object-Z facts for kids

Kids Encyclopedia Facts

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

Kids robot.svg In Spanish: Object-Z para niños

kids search engine
All content from Kiddle encyclopedia articles (including the article images and facts) can be freely used under Attribution-ShareAlike license, unless stated otherwise. Cite this article:
Object-Z Facts for Kids. Kiddle Encyclopedia.