A type system for reflective program generators

Authors:
Dirk Draheim;Christof Lutteroth;Gerald Weber
Affiliations:
Institute of Computer Science, Freie Universität Berlin, Berlin, Germany;Department of Computer Science, The University of Auckland, Auckland, New Zealand;Department of Computer Science, The University of Auckland, Auckland, New Zealand
Venue:
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Year:
2005

Citing 18
Cited 12

Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
A metaobject protocol for C++

Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Multi-stage programming with explicit annotations

PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Making the future safe for the past: adding genericity to the Java programming language

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Hygienic macro expansion

LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Generative programming: methods, tools, and applications

Generative programming: methods, tools, and applications
Finite Differencing of Computable Expressions

ACM Transactions on Programming Languages and Systems (TOPLAS)
MetaML and multi-stage programming with explicit annotations

Theoretical Computer Science - Partial evaluation and semantics-based program manipulation
Types and programming languages

Types and programming languages
The Art of the Metaobject Protocol

The Art of the Metaobject Protocol
Reflection Support by Means of Template Metaprogramming

GCSE '01 Proceedings of the Third International Conference on Generative and Component-Based Software Engineering
An Overview of AspectJ

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Template Metaprogramming an Object Interface to Relational Tables

REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
Reflection and semantics in LISP

POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Making patterns explicit with metaprogramming

Proceedings of the 2nd international conference on Generative programming and component engineering
Form-Oriented Analysis

Form-Oriented Analysis
Integrating Code Generators into the C# Language

ICITA '05 Proceedings of the Third International Conference on Information Technology and Applications (ICITA'05) Volume 2 - Volume 02
Generative programming for C#

ACM SIGPLAN Notices

Generative programming for C#

ACM SIGPLAN Notices
Reflective program generation with patterns

Proceedings of the 5th international conference on Generative programming and component engineering
cJ: enhancing java with safe type conditions

Proceedings of the 6th international conference on Aspect-oriented software development
Expressive and safe static reflection with MorphJ

Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
AP1: a platform for model-based, software engineering

TEAA'06 Proceedings of the 2nd international conference on Trends in enterprise application architecture
Modular logic metaprogramming

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Morphing: Structurally shaping a class by reflecting on others

ACM Transactions on Programming Languages and Systems (TOPLAS)
Statically safe program generation with SafeGen

Science of Computer Programming
Pattern-based traits

Proceedings of the 27th Annual ACM Symposium on Applied Computing
Metaprogramming with traits

ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
Morphing: safely shaping a class in the image of others

ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
Compile-time reflection and metaprogramming for Java

Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation

Quantified Score

Hi-index	0.00

Visualization

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.