Extended C++

EC++ 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++.