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 条
  • [31] Specifying Events and their Effects in Controlled Natural Language
    Schwitter, Rolf
    [J]. COMPUTATIONAL LINGUISTICS AND RELATED FIELDS, 2011, 27 : 12 - 21
  • [32] Roll: A language for specifying die-rolls
    Mogensen, T
    [J]. PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, 2003, 2562 : 145 - 159
  • [33] ESSENCE:: A constraint language for specifying combinatorial problems
    Frisch, Alan M.
    Harvey, Warwick
    Jefferson, Chris
    Martinez-Hernandez, Bernadette
    Miguel, Ian
    [J]. CONSTRAINTS, 2008, 13 (03) : 268 - 306
  • [34] Some Challenges of Specifying Concurrent Program Components
    Hayes, Ian J.
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (282): : 10 - 22
  • [35] Specifying behavioral semantics of UML diagrams through graph transformations
    Kong, Jun
    Zhang, Kang
    Dong, Jing
    Xu, Dianxiang
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2009, 82 (02) : 292 - 306
  • [36] A Calculus for Language Transformations
    Mourad, Benjamin
    Cimini, Matteo
    [J]. SOFSEM 2020: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2020, 12011 : 547 - 555
  • [37] Language Transformations in the Classroom
    Cimini, Matteo
    Mourad, Benjamin
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (339): : 43 - 58
  • [38] ANNOTATED PROGRAM TRANSFORMATIONS
    KASYANOV, VN
    [J]. FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE ////, 1989, 405 : 171 - 180
  • [39] Witnessing Program Transformations
    Namjoshi, Kedar S.
    Zuck, Lenore D.
    [J]. STATIC ANALYSIS, SAS 2013, 2013, 7935 : 304 - 323
  • [40] TASK SEQUENCING LANGUAGE FOR SPECIFYING DISTRIBUTED ADA SYSTEMS
    LUCKHAM, DC
    HELMBOLD, DP
    BRYAN, DL
    HABERLER, MA
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 259 : 444 - 463
12345