Tech Report CS-93-23
CCEL: The C++ Constraint Expression Language: An Annotated Reference Manual, Version 0.5
Yueh-Hong Lin and Scott Meyers
May 1993
Abstract:
CCEL is a language for expressing constraints on the syntax and semantics of software systems written in C++. This manual formally defines the syntax and semantics of CCEL-I, which concerns itself with constraints on C++ declarations. Future versions of the report will describe CCEL-II, which will add to CCEL-I the ability to constrain definitions of functions and objects.
Although it does contain some examples of CCEL constraints, this manual is not a tutorial on the use of CCEL. Rather, it is a comprehensive reference manual on CCEL. It is intended to be to CCEL what Ellis' and Stroustrup's Annotated C++ Reference Manual is to C++.
(complete text in pdf or gzipped postscript)