A Semantic Definition of Separate Type Checking in C++ with Concepts

By: Marcin Zalewski, Sibylle Schupp

Abstract

The premise of separate type checking with concepts is that once constrained templates are checked against their requirements and concept maps are well-formed, templates can be safely instantiated without any additional type checking, provided that all necessary concept maps have been defined.

Cite as:

Marcin Zalewski, Sibylle Schupp, “A Semantic Definition of Separate Type Checking in C++ with Concepts”, Journal of Object Technology, Volume 8, no. 5 (July 2009), pp. 105-132, doi:10.5381/jot.2009.8.5.a2.

PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn

The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact