A type system for reflective program generators

被引：1
|
作者：
Lutteroth, Christof [1 ]
Draheim, Dirk [2 ]
Weber, Gerald [1 ]
机构：
[1] Univ Auckland, Dept Comp Sci, Auckland 1020, New Zealand
[2] Univ Innsbruck, Cent Informat Technol Serv, A-6020 Innsbruck, Austria
来源：
SCIENCE OF COMPUTER PROGRAMMING | 2011年 / 76卷 / 05期
关键词：
Type safety; Generic programming; Reflection; Model-based generation;
D O I：
10.1016/j.scico.2010.12.002
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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. (C) 2010 Elsevier B.V. All rights reserved.
引用
收藏
页码：392 / 422
页数：31
相关论文
共 50 条
  • [1] A type system for reflective program generators
    Draheim, D
    Lutteroth, C
    Weber, G
    GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING, PROCEEDINGS, 2005, 3676 : 327 - 341
  • [2] GENESIS - COMPUTATIONAL SYSTEM FOR BUILDING PROGRAM GENERATORS
    SEGOVIA, H
    ACTA CIENTIFICA VENEZOLANA, 1978, 29 : 31 - 31
  • [3] Program generators
    Lalonde, W
    JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1999, 12 (03): : 62 - +
  • [4] PROGRAM GENERATORS
    STEWART, G
    BYTE, 1982, 7 (08): : 38 - &
  • [5] On the degeneration of program generators by program composition
    Robert Glück
    Andrei Klimov
    New Generation Computing, 1998, 16 (1) : 75 - 95
  • [6] On the degeneration of program generators by program composition
    Gluck, R
    Klimov, A
    NEW GENERATION COMPUTING, 1998, 16 (01) : 75 - 95
  • [7] SIMULATION PROGRAM GENERATORS
    MATHEWSON, SC
    SIMULATION, 1974, 23 (06) : 181 - 189
  • [8] PROGRAM GENERATORS AND GENERATION SOFTWARE
    LUKER, PA
    BURNS, A
    COMPUTER JOURNAL, 1986, 29 (04): : 315 - 321
  • [9] DESIGN AND PROGRAMMING OF PROGRAM GENERATORS
    SEGOVIA, H
    ACTA CIENTIFICA VENEZOLANA, 1977, 28 : 41 - 41
  • [10] PROGRAM GENERATORS - HOW GOOD ARE THEY
    ZIEGLER, JR
    COMPUTERS AND AUTOMATION, 1968, 17 (07): : 18 - &
12345