Extended C++

G. Masotti

C++ with extensions, including preconditions, postconditions, class invariants, parametrized classes, exception handling and garbage collection. Implemented as a C++ preprocessor.