Object-Z

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.

• http://dollar.homeloancourse.info/home-equity-loan.html - home equity loan
• http://pattern.besttradelink.info/payday-loan.html - payday loan
• http://market.mortgagerefinancedot.info/mortgage-refinance.html - mortgage refinance
• http://baseball.usadaytrade.biz/Start-Forex-Trading.html - Start Forex Trading
• http://telecheck.superrefinancerate.info/mortgage-refinance.html - mortgage refinance

External links

• The Object-Z Home Page
• The Object-Z Specification Language Reference Manual
• Community Z Tools (CZT) project