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.
US Patent Issued to International Business Machines on Dec. 20 for "Cache Bounded Reference Counting" (German Inventors)
Dec 27, 2011; ALEXANDRIA, Va., Dec. 27 -- United States Patent no. 8,082,399, issued on Dec. 20, was assigned to International Business...