Eingang zum Volltext
Lizenz

Bitte beziehen Sie sich beim Zitieren dieses Dokumentes immer auf folgende
URN: urn:nbn:de:kobv:83-opus-19994
URL: http://opus.kobv.de/tuberlin/volltexte/2008/1999/

Azab, Karl ; Pennemann, Karl-Heinz

Type Checking C++ Template Instantiation by Graph Programs

pdf-Format:
Dokument 1.pdf (169 KB)

Kurzfassung in Englisch

Templates are a language feature of C++ and can be used for metaprogramming. The metaprogram is executed by the compiler and outputs source code which is then compiled. Templates are widely used in software libraries but few tools exist for programmers developing template code. In particular, error messages are often cryptic. During template instantiation, a compiler looks up names that depend on a template’s formal parameters. We use graphs to represent the relevant parts of the source code and a graph program for the name lookup and type checking for expressions involving such names. This technique provides compiler writers with a visual way of writing algorithms that generate error messages and forms the basis for a visual inspection of type problems and suggested remedies for the programmer. Our graph program terminates and emits correct error messages.

Freie Schlagwörter (englisch): Graph Transformation , Graph programs , Type checking , C++
Collection TU Berlin / Zeitschriften / Fakultät IV - Elektrotechnik und Informatik / Electronic Communications of the EASST- ECEASST / Volume 10 (2008): Graph Transformation and Visual Modeling Techniques 2008
Institut: Institut für Softwaretechnik und Theoretische Informatik
DDC-Sachgruppe: Informatik
Dokumentart: Aufsatz
Schriftenreihe: Electronic Communications of the EASST- ECEASST
Band Nummer: 10/19
ISBN: 1863-2122
Quelle: http://eceasst.cs.tu-berlin.de/index.php/eceasst/issue/view/19
Sprache: Englisch
Erstellungsjahr: 2008
Publikationsdatum: 28.08.2008
Lizenz: Standardlizenz: Typ CC by-nc-sa - Namensnennung erforderlich | Kommerziell nein | Weiterbearbeitung nur unter gleichen Bedingungen erlaubt | PoD ja