A Semantic Definition of Separate Type Checking in C++ with Concepts. Abstract syntax and the complete semantic definition.
Författare:
Marcin Zalewski (Institutionen för data- och informationsteknik, Programvaruteknik)
Serie:
Technical report - Department of Computer Science and Engineering, Chalmers University of Technology and Göteborg University, ISSN 1652-926x; nr 2008:12
Antal sidor:
35
Publikationstyp:
Rapport
Förlag:
Chalmers University of Technology
Förlagsort:
Göteborg
Publiceringsår:
2008
Språk:
engelska
Fulltextlänk:
Sammanfattning (abstract):
This document describes the syntax and the semantics of a simplified version of the recently proposed concept sublanguage of C++.
Ämneskategorier:
TEKNIKVETENSKAP ->
Informationsteknik ->
Datavetenskap ->
Datalogi
TEKNIKVETENSKAP ->
Informationsteknik ->
Datavetenskap ->
Programvaruteknik
Informationsteknik ->
Datavetenskap ->
Datalogi
TEKNIKVETENSKAP ->
Informationsteknik ->
Datavetenskap ->
Programvaruteknik
Nyckelord:
C++, concepts, generic programming, formalization
Postens nummer:
72572
Ingår i post nr:
Posten skapad:
2008-07-29 14:28