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 条
  • [41] Increase of Generating Power of Cantilever Type Piezoelectric Generators by Interconnecting the Generators
    Park, Choong Hyo
    Kim, Jong Wook
    Lim, Jung Hoon
    Jeong, Seong Su
    Kim, Myong Ho
    Park, Tae Gone
    INTEGRATED FERROELECTRICS, 2012, 134 : 88 - 101
  • [42] A Four-Week Reflective Writing Program in the Psychiatry Clerkship: Testing Effects on Reflective Capacity
    Whitmore, Charles A.
    Sakai, Joseph
    Mikulich-Gilbertson, Susan K.
    Davies, Robert D.
    ACADEMIC PSYCHIATRY, 2019, 43 (02) : 171 - 174
  • [43] REFLECTIVE SEMANTICS OF CONSTRUCTIVE TYPE THEORY
    SMITH, SF
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 613 : 33 - 45
  • [44] A reflective homotopic zoom system
    Chuang, FM
    Chang, MW
    Shiue, SG
    JOURNAL OF MODERN OPTICS, 1996, 43 (02) : 381 - 393
  • [45] The Reflective Function of Differential System
    Zhou Zheng xin Department of Mathematics
    WuhanUniversityJournalofNaturalSciences, 2002, (04) : 383 - 387
  • [46] Reflective diagnostics in educational system
    Varlamova, EP
    Stepanov, SY
    VOPROSY PSIKHOLOGII, 1997, (05) : 28 - &
  • [47] Power System Frequency Control using Type-4 Wind Turbine Generators
    Wilches-Bernal, Felipe
    Chow, Joe H.
    Sanchez-Gasca, Juan J.
    2017 NORTH AMERICAN POWER SYMPOSIUM (NAPS), 2017,
  • [48] A Four-Week Reflective Writing Program in the Psychiatry Clerkship: Testing Effects on Reflective Capacity
    Charles A. Whitmore
    Joseph Sakai
    Susan K. Mikulich-Gilbertson
    Robert D. Davies
    Academic Psychiatry, 2019, 43 : 171 - 174
  • [49] New reflective type electrophoretic display
    Orsaev, AM
    Orsaev, TM
    Gaev, DS
    ADVANCED DISPLAY TECHNOLOGIES: BASIC STUDIES OF PROBLEMS IN INFORMATION DISPLAY (FLOWERS 2000), 2000, 4511 : 190 - 192
  • [50] Reflective function of differential system
    Zhou, Zheng-Xin
    Wuhan University Journal of Natural Sciences, 2002, 7 (04) : 383 - 387
12345