C++ extended by G Masotti <masotti@lipari.usc.edu> with preconditions, postconditions and class invariants, parameterised classes, exception handling and garbage collection. EC++ translates Extended C++ into C++.
(10 Oct 1989)