CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

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

Marcin Zalewski (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers))
Göteborg : Chalmers University of Technology, 2008. - 35 s.

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

Nyckelord: C++, concepts, generic programming, formalization

Denna post skapades 2008-07-29.
CPL Pubid: 72572


Läs direkt!

Länk till annan sajt (kan kräva inloggning)

Institutioner (Chalmers)

Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers) (2008-2010)



Chalmers infrastruktur

Relaterade publikationer

Denna publikation ingår i:

Generic Programming with Concepts

Ingår i serie

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