CCEL: A Metalanguage for C++

  title={CCEL: A Metalanguage for C++},
  author={Carolyn K. Duby and Scott Meyers and Steven P. Reiss},
  booktitle={C++ Conference},
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… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.

118 Citations

Citations per Year
Semantic Scholar estimates that this publication has 118 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.

Similar Papers

Loading similar papers…