A LANGUAGE FOR SPECIFYING PROGRAM TRANSFORMATIONS

被引：3
|
作者：
HILDUM, D [1 ]
COHEN, J [1 ]
机构：
[1] BRANDEIS UNIV,MICHTOM SCH COMP SCI,DEPT COMP SCI,WALTHAM,MA 02254
来源：
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1990年 / 16卷 / 06期
基金：
美国国家科学基金会;
关键词：
Optimization; pattern matching; program transformation; specification language;
D O I：
10.1109/32.55091
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper describes a language for specifying program transformations, from which programs can be generated to perform the transformations on sequences of code. The main objective of this work has been to develop a language that would allow the user to quickly and easily specify a wide range of transformations for a variety of programming languages. The rationale for the language constructs is given, as well as the details of an implementation which was prototyped using Prolog. Numerous examples of the language usage are provided. © 1990 IEEE
引用
收藏
页码：630 / 638
页数：9
相关论文
共 50 条
  • [1] A high-level language for specifying XML data transformations
    Pankowski, T
    [J]. ADVANCES IN DATABASES AND INFORMATION SYSTEMS, PROCEEDINGS, 2004, 3255 : 159 - 172
  • [2] A language for specifying hyperdocuments
    Doberkat, EE
    [J]. SOFTWARE-CONCEPTS AND TOOLS, 1996, 17 (04): : 163 - 172
  • [3] LANGUAGE EXTENSIONS FOR SPECIFYING PROGRAM ACCESS-CONTROL POLICIES IN PROGRAMMING-LANGUAGES
    CLAYBROOK, BG
    HARTSON, HR
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1983, 3 (02) : 155 - 162
  • [4] A language for specifying constraints in WFMSs
    Yu, Wan-Jun
    Liu, Da-You
    Jiang, Li
    [J]. COMPUTATIONAL METHODS, PTS 1 AND 2, 2006, : 1285 - +
  • [5] SPECIFYING CONCURRENT PROGRAM MODULES
    LAMPORT, L
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1983, 5 (02): : 190 - 222
  • [6] Specifying integrated refactoring with distributed graph transformations
    Bottoni, P
    Presicce, FP
    Taentzer, G
    [J]. APPLICATIONS OF GRAPH TRANSFORMATIONS WITH INDUSTRIAL RELEVANCE, 2003, 3062 : 220 - 235
  • [7] OPTRAN - A LANGUAGE SYSTEM FOR THE SPECIFICATION OF PROGRAM TRANSFORMATIONS - SYSTEM OVERVIEW AND EXPERIENCES
    LIPPS, P
    MONCKE, U
    WILHELM, R
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 371 : 52 - 65
  • [8] LANGUAGE CONSTRUCTS FOR SPECIFYING CONCURRENCY IN CDL
    SHYAMASUNDAR, RK
    THATCHER, JW
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1989, 15 (08) : 977 - 993
  • [9] Toward a language for specifying summarizing statistics
    Yager, RR
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2003, 33 (02): : 177 - 187
  • [10] Specifying the Geometric Machine visual language
    Reiser, RHS
    Costa, ACR
    Dimuro, GP
    Cardoso, MB
    [J]. 200S IEEE SYMPOSIUM ON HUMAN CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, 2003, : 186 - 188
12345