C++ concepts as institutions: a specification view on concepts

Abstract

With the recent developments in the C++ language, concepts are mostly discussed as a form of constrained polymorphism. Yet, concepts also allow for an alternative, implementation-independent view that comes from their origin in (algebraic) specification languages. In this paper, we return to this specification view on concepts and formalize C++ concepts as… (More)
DOI: 10.1145/1512762.1512770

Topics

2 Figures and Tables

Cite this paper

@inproceedings{Zalewski2007CCA, title={C++ concepts as institutions: a specification view on concepts}, author={Marcin Zalewski and Sibylle Schupp}, booktitle={LCSD '07}, year={2007} }