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.
[Rapport]

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)

Ämnesområden

Datalogi
Programvaruteknik

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