CCEL(ID:2093/)

Constraint programmign in C++ 

for C++ Constraint Expression Language
References:
  • Carolyn K. Duby, Scott Meyers and Steven P. Reiss "CCEL: A Metalanguage for C++" October 1992Brown University Tech Report CS-92-51 view details Abstract: C++ is an expressive language, but it does not allow software developers to say all the things about their systems that they need to be able to say. In particular, C++ offers no way to express many important constraints on a system's design, implementation, and presentation. In this paper, we describe CCEL, a metalanguage for C++ that allows software developers to express constraints on C++ designs and implementations, and we describe Clean++, a system that checks C++ code for violations of CCEL constraints. CCEL is designed for practical, real-world use, and the examples in this paper demonstrate its power and flexibility.
  • Yueh-Hong Lin and Scott Meyers "CCEL: The C++ Constraint Expression Language: An Annotated Reference Manual, Version 0.5" Brown University CS Tech Report CS-93-23 May 1993 view details 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++.
    External link: Online copy