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. © Springer-Verlag Berlin Heidelberg 2005.
Cite
CITATION STYLE
Draheim, D., Lutteroth, C., & Weber, G. (2005). A type system for reflective program generators. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3676 LNCS, pp. 327–341). https://doi.org/10.1007/11561347_22
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
