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