language EC++ extended by G. Masotti

[email protected] with preconditions, postconditions

and class invariants, parameterised classes, exceptionhandling and garbage collection. EC++ translates

Extended C++ into C++.