Stratego/XT 0.17. A language and toolset for program transformation

被引：162

作者：

Bravenboer, Martin ^{[1
]}

Kalleberg, Karl Trygve ^{[2
]}

Vermaas, Rob ^{[3
]}

Visser, Eelco ^{[1
]}

机构：

[1] Delft Univ Technol, Fac Elect Engn Math & Comp Sci EWI, Dept Software Technol, NL-2628 CD Delft, Netherlands

[2] Univ Bergen, Dept Informat, N-5020 Bergen, Norway

[3] Machina, Utrecht, Netherlands

来源：

SCIENCE OF COMPUTER PROGRAMMING | 2008年 / 72卷 / 1-2期

关键词：

stratego; stratego/XT; program transformation; rewriting strategies; rewrite rules; concrete syntax; dynamic rewrite rules;

D O I：

10.1016/j.scico.2007.11.003

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Stratego/XT is a language and toolset for program transformation. The Stratego language provides rewrite rules for expressing basic transformations, programmable rewriting strategies for controlling the application of rules, concrete syntax for expressing the patterns of rules in the syntax of the object language, and dynamic rewrite rules for expressing context-sensitive transformations, thus supporting the development of transformation components at a high level ofabstraction. The XT toolset offers a collection offlexible, reusable transformation components, and tools for generating such components from declarative specifications. Complete program transformation systems are composed from these components. This paper gives an overview ofStratego/XT 0.17, including a description ofthe Stratego language and XT transformation tools: a discussion of the implementation techniques and software engineering process; and a description of applications built with Stratego/XT. (c) 2008 Elsevier B.V. All rights reserved.

引用

页码：52 / 70

页数：19

共 54 条

[1] Appel Andrew W, 2004, Modern Compiler Implementation in {C
[2] Design of the CodeBoost transformation system for domain-specific optimisation of C++ programs
Bagge, OS
Kalleberg, KT
Haveraaen, M
Visser, E
[J]. THIRD IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION - PROCEEDINGS, 2003, : 65 - 74
[3] BALLAND E, 2007, LECT NOTES COMPUTER
[4] DMS®:: Program transformations for practical scalable software evolution
Baxter, ID
Pidgeon, C
Mehlich, M
[J]. ICSE 2004: 26TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2004, : 625 - 634
[5] DESIGN MAINTENANCE SYSTEMS
BAXTER, ID
[J]. COMMUNICATIONS OF THE ACM, 1992, 35 (04) : 73 - 89
[6] BOROVANSKY P, 1996, ELECT NOTES THEORETI, V4
[7] Boyle JM, 1997, MODERN SOFTWARE TOOLS FOR SCIENTIFIC COMPUTING, P353
[8] BOYLE JM, 1974, INFORM PROCESSING, V74, P542
[9] Bravenboer M, 2005, LECT NOTES COMPUT SC, V3676, P157
[10] Concrete syntax for objects - Domain-specific language embedding and assimilation without restrictions
Bravenboer, M
Visser, E
[J]. ACM SIGPLAN NOTICES, 2004, 39 (10) : 365 - 383

← 1 2 3 4 5 6 →