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