A type system for reflective program generators

Dirk Draheim; Christof Lutteroth; Gerald Weber

doi:10.1007/11561347_22

A type system for reflective program generators

Dirk Draheim
, Christof Lutteroth
, Gerald Weber

Department of Computer Science

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

15 Citations (SciVal)

Abstract

In this paper we describe a type system for a generative mechanism that generalizes the concept of generic types by combining it with a controlled form of reflection. This mechanism makes many code generation tasks possible for which generic types alone would be insufficient. The power of code generation features are carefully balanced with their safety, so that we are able to perform static type checks on generator code. This leads to a generalized notion of type safety for generators.

Original language	English
Title of host publication	Proceedings of the 4th International Conference on Generative Programming and Component Engineering (GPCE), 2005
Publisher	Springer
Pages	327-341
Number of pages	15
DOIs	https://doi.org/10.1007/11561347_22
Publication status	Published - 2005

Access to Document

10.1007/11561347_22

Cite this

@inproceedings{c8224e0bec1f42a1a70a4d8df0d8d53d,

title = "A type system for reflective program generators",

abstract = "In this paper we describe a type system for a generative mechanism that generalizes the concept of generic types by combining it with a controlled form of reflection. This mechanism makes many code generation tasks possible for which generic types alone would be insufficient. The power of code generation features are carefully balanced with their safety, so that we are able to perform static type checks on generator code. This leads to a generalized notion of type safety for generators. ",

author = "Dirk Draheim and Christof Lutteroth and Gerald Weber",

year = "2005",

doi = "10.1007/11561347\_22",

language = "English",

pages = "327--341",

booktitle = "Proceedings of the 4th International Conference on Generative Programming and Component Engineering (GPCE), 2005",

publisher = "Springer",

}

TY - GEN

T1 - A type system for reflective program generators

AU - Draheim, Dirk

AU - Lutteroth, Christof

AU - Weber, Gerald

PY - 2005

Y1 - 2005

N2 - In this paper we describe a type system for a generative mechanism that generalizes the concept of generic types by combining it with a controlled form of reflection. This mechanism makes many code generation tasks possible for which generic types alone would be insufficient. The power of code generation features are carefully balanced with their safety, so that we are able to perform static type checks on generator code. This leads to a generalized notion of type safety for generators.

AB - In this paper we describe a type system for a generative mechanism that generalizes the concept of generic types by combining it with a controlled form of reflection. This mechanism makes many code generation tasks possible for which generic types alone would be insufficient. The power of code generation features are carefully balanced with their safety, so that we are able to perform static type checks on generator code. This leads to a generalized notion of type safety for generators.

U2 - 10.1007/11561347_22

DO - 10.1007/11561347_22

M3 - Chapter in a published conference proceeding

SP - 327

EP - 341

BT - Proceedings of the 4th International Conference on Generative Programming and Component Engineering (GPCE), 2005

PB - Springer

ER -

A type system for reflective program generators

Abstract

Access to Document

Fingerprint

Cite this