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 条
  • [41] FLAVORS-BAND - A LANGUAGE FOR SPECIFYING MUSICAL STYLE
    FRY, C
    [J]. COMPUTER MUSIC JOURNAL, 1984, 8 (04) : 20 - 34
  • [42] A Model and Declarative Language for Specifying Binary Data Formats
    Evgin, A. A.
    Solovev, M. A.
    Padaryan, V. A.
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 2022, 48 (07) : 469 - 483
  • [43] ANNOTATED PROGRAM TRANSFORMATIONS
    KASYANOV, VN
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 405 : 171 - 180
  • [44] A Model for Specifying Rationale Using an Architecture Description Language
    de Silva, Lakshitha
    Balasubramaniam, Dharini
    [J]. SOFTWARE ARCHITECTURE, 2011, 6903 : 319 - 327
  • [45] Specifying Usage Control Model With Object Constraint Language
    Li, Min
    [J]. EAI ENDORSED TRANSACTIONS ON SCALABLE INFORMATION SYSTEMS, 2013, 13 (1-3):
  • [46] A Model and Declarative Language for Specifying Binary Data Formats
    A. A. Evgin
    M. A. Solovev
    V. A. Padaryan
    [J]. Programming and Computer Software, 2022, 48 : 469 - 483
  • [47] Vibes: A visual language for specifying behavioral requirements of algorithms
    Guelesir, Guercan
    Bergmans, Lodewijk
    Aksit, Mehmet
    van den Berg, Klaas
    [J]. JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2013, 24 (05): : 350 - 364
  • [48] Specifying Structural Constraints of Architectural Patterns in the ARCHERY Language
    Sanchez, Alejandro
    Barbosa, Luis S.
    Riesco, Daniel
    [J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014), 2015, 1648
  • [49] DISEL: A Language for Specifying DIS-Based Ontologies
    Wang, Yijie
    Chen, Yihai
    Alomair, Deemah
    Khedri, Ridha
    [J]. KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, PT II, 2022, 13369 : 155 - 171
  • [50] Domain Specific Language for Specifying Operations of a Central Counterparty
    Nalinda, Chamin
    Keppitiyagama, Chamath
    [J]. 2017 17TH INTERNATIONAL CONFERENCE ON ADVANCES IN ICT FOR EMERGING REGIONS (ICTER) - 2017, 2017, : 34 - 41
12345