Z++ - Programming language

Z++ is a programming language created in 1991.

#1308on PLDB

33Years Old

Z++ is also a version of the C++ programming language (not to be confused with Z++ that this article is about).Z++ (pronounced zee plus plus) was an object-oriented extension to the Z specification language. Z++ is an object-oriented extension to the Z specification language, allowing for the definition of classes, and the relation of classes through inheritance, association or aggregation. The primary construct of Z++ is a class. Read more on Wikipedia...

Z++ Wikipedia page
Z++ on HOPL
See also: (1 related languages)Z notation

Example from Wikipedia:

CLASS ClassName
  [OWNS List_of_attributes]
  [FUNCTIONS constant_definitions]
  [TYPE type_declaration]
  [ENTENDS list_of_super_classes]
  [OPERATIONS list_of_state_change_operations_definitions]
  [RETURNS list_of_query_operations_definitions]
  [ACTIONS all_operations_declarations]
  [INVARIANT predicates]
  [HISTORY RTL_predicates]
END CLASS