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 条

[21] PROGRAM GENERATORS AND GENERATION SOFTWARE.
Luker, P.A.
Burns, A.
1600, (29):
[22] Program controlled pulse generators (PCPG)
Grebenshchikov, O.A.
Naumov, V.V.
Pribory i Tekhnika Eksperimenta, 2002, 45 (05):
[23] Integration of a security type system into a program logic
Haehnle, Reiner
Pan, Jing
Ruemmer, Philipp
Walter, Dennis
THEORETICAL COMPUTER SCIENCE, 2008, 402 (2-3) : 172 - 189
[24] A study on the tracking photovoltaic system by program type
Piao, ZG
Park, JM
Kim, JH
Cho, GB
Baek, HL
ICEMS 2005: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON ELECTRICAL MACHINES AND SYSTEMS, VOLS 1-3, 2005, : 971 - 973
[25] Program generators and the tools to make them
Smaragdakis, Y
STATIC ANALYSIS, PROCEEDINGS, 2004, 3148 : 19 - 20
[26] Integration of a security type system into a program logic
Hahnle, Reiner
Pan, Jing
Rummer, Philipp
Walter, Dennis
TRUSTWORTHY GLOBAL COMPUTING, 2007, 4661 : 116 - +
[27] Reflective optical vortex generators with ultrabroadband self-phase compensation
Cao, Han
Wang, Guangyao
Zhang, Lichao
Tan, Qinggui
Duan, Wei
Hu, Wei
ADVANCED PHOTONICS NEXUS, 2023, 2 (02):
[28] A REFLECTIVE PRODUCTION SYSTEM
CRAIG, ID
KYBERNETES, 1994, 23 (03) : 20 - 35
[29] Implementation of a reflective system
Pitrat, J
FUTURE GENERATION COMPUTER SYSTEMS, 1996, 12 (2-3) : 235 - 242
[30] Child and program assessment - Tools for reflective educators
Koralek, D
YOUNG CHILDREN, 2004, 59 (01): : 12 - 13

← 1 2 3 4 5 →