Cosmin Truta

• Correctness of IBM VisualAge C++ compiler extensions