Extended C++

Extended C++

(language)EC++ extended by G. Masotti with preconditions, postconditionsand class invariants, parameterised classes, exception handling and garbage collection. EC++ translatesExtended C++ into C++.