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
Highly Cited
This paper has 59 citations. REVIEW CITATIONS
40 Citations
12 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 40 extracted citations

60 Citations

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

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 12 references

Effective C++: 50 Specific Ways to Improve Your Programs and Designs

  • Scott Meyers
  • Addison­ Wesley,
  • 1992

Adding Semantic Information To C++ Development Environments

  • Moises Lejter, Scott Meyers, Steven P. Reiss
  • In Proceedings of c++ at
  • 1990

The Behavior of C++ Classes

  • Marshall P. Cline, Doug Lea
  • In Proceedings of the Symposium on Object…
  • 1990
3 Excerpts

Working with Object-Oriented Programs: The View from the Trenches is Not Always Pretty

  • Scott Meyers
  • In Proceedings of the Symposium on Object…
  • 1990

Similar Papers

Loading similar papers…