Second USENIX Conference on Object-Oriented Technologies (COOTS), 1996
Preliminary Design of ADL/C++ - A Specification language for C++
Sreenivasa Rao Viswanadha
Department of Computer Science
State University of New York, Albany, NY, USA
ADL/C++ is a specification language for associating behavior
specifications as post-conditions with C++ (function) declarations.
The language includes a clean subset of the C++ expression language
and the semantics is relatively simple and informal. Most of the
important features of C++ like member functions, virtual members,
constructors, inheritance and exceptions can be specified in ADL/C++.
In addition to being semi-formal documentation, ADL/C++ specifications
can also be used for testing C++ implementations. We developed a
method for validating tests of C++ implementations using ADL/C++