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)
| Page Owner: John Bazik | Last Modified: Fri Feb 9 17:44:33 2007 |