Check out the new USENIX Web site.

Home About USENIX Events Membership Publications Students
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++ specifications.
?Need help? Use our Contacts page.

Last changed: 9 Jan 2003 aw
Technical Program
Conference Index