A Semantic Definition of Separate Type Checking in C++ with Concepts. Abstract syntax and the complete semantic definition.
Rapport, 2008

This document describes the syntax and the semantics of a simplified version of the recently proposed concept sublanguage of C++.

concepts

generic programming

formalization

C++

Författare

Marcin Zalewski

Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)

Ämneskategorier

Programvaruteknik

Datavetenskap (datalogi)

Technical report - Department of Computer Science and Engineering, Chalmers University of Technology and Göteborg University: 2008:12