A type system for reflective program generators

Authors:
Christof Lutteroth;Dirk Draheim;Gerald Weber
Affiliations:
Department of Computer Science, The University of Auckland, 38 Princes Street, Auckland 1020, New Zealand;Central Information Technology Services, University of Innsbruck, Technikerstrasse 23, 6020 Innsbruck, Austria;Department of Computer Science, The University of Auckland, 38 Princes Street, Auckland 1020, New Zealand
Venue:
Science of Computer Programming
Year:
2011

Citing 31
Cited 0

Compilers: principles, techniques, and tools

Compilers: principles, techniques, and tools
Using memorization to achieve polynomial complexity of purely functional executable specifications of non-deterministic top-down parsers

ACM SIGPLAN Notices
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
Cayenne—a language with dependent types

ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
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
Multi-Level Specialization (Extended Abstract)

Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
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
Implementing multi-stage languages using ASTs, Gensym, and reflection

Proceedings of the 2nd international conference on Generative programming and component engineering
Making patterns explicit with metaprogramming

Proceedings of the 2nd international conference on Generative programming and component engineering
Techniques for automatic memoization with applications to context-free parsing

Computational Linguistics
Form-Oriented Analysis

Form-Oriented Analysis
Robust content creation with form-oriented user interfaces

CHINZ '05 Proceedings of the 6th ACM SIGCHI New Zealand chapter's international conference on Computer-human interaction: making CHI natural
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
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
Accomplishments and research challenges in meta-programming

SAIG'01 Proceedings of the 2nd international conference on Semantics, applications, and implementation of program generation
Statically safe program generation with safegen

GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

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, which enables us to perform static type checks on generator code. This leads to a generalized notion of type safety for generators.