PROGRAM IMPROVEMENT BY SOURCE-TO-SOURCE TRANSFORMATION

被引：69
|
作者：
LOVEMAN, DB [1 ]
机构：
[1] MASSACHUSETTS COMP ASSOC INC,WAKEFIELD,MA 01880
来源：
JOURNAL OF THE ACM | 1977年 / 24卷 / 01期
关键词：
D O I：
10.1145/321992.322000
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：121 / 145
页数：25
相关论文
共 50 条
  • [1] Source-to-source transformation in the large
    Genssler, T
    Kuttruff, V
    [J]. MODULAR PROGRAMMING LANGUAGES, PROCEEDINGS, 2003, 2789 : 254 - 265
  • [2] Source-to-source transformation in the large
    Genssler, Thomas
    Kuttruff, Volker
    [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003, 2789 : 254 - 265
  • [3] Source-to-source Prolog program compression
    Devienne, P
    Parrain, A
    Taillibert, P
    Varennes, S
    [J]. LOGIC PROGRAMMING - PROCEEDINGS OF THE 1998 JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING, 1998, : 205 - 219
  • [4] Automatic Sparsity Detection implemented as a source-to-source transformation
    Giering, Ralf
    Kaminski, Thomas
    [J]. COMPUTATIONAL SCIENCE - ICCS 2006, PT 4, PROCEEDINGS, 2006, 3994 : 591 - 598
  • [5] Source-to-Source Architecture Transformation for Performance Optimization in BIP
    Bozga, Marius
    Jaber, Mohamad
    Sifakis, Joseph
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2010, 6 (04) : 708 - 718
  • [6] Source-to-Source Architecture Transformation for Performance Optimization in BIP
    Bozga, Marius
    Jaber, Mohamad
    Sifakis, Joseph
    [J]. 2009 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS, 2009, : 152 - 160
  • [7] Cetus - An extensible compiler infrastructure for source-to-source transformation
    Lee, SI
    Johnson, TA
    Eigenmann, R
    [J]. LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, 2004, 2958 : 539 - 553
  • [8] Exhaustive Execution of CHR Through Source-to-Source Transformation
    Elsawy, Ahmed
    Zaki, Amira
    Abdennadher, Slim
    [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014), 2015, 8981 : 59 - 73
  • [9] AUTOMATIC DATABASE SYSTEM CONVERSION - SCHEMA REVISION, DATA TRANSLATION, AND SOURCE-TO-SOURCE PROGRAM TRANSFORMATION
    SHNEIDERMAN, B
    THOMAS, G
    [J]. AFIPS CONFERENCE PROCEEDINGS, 1982, 51 : 579 - +
  • [10] POET: A scripting language for applying parameterized source-to-source program transformations
    University of Texas at San Antonio, San Antonio, TX, United States
    [J]. Software Pract Exper, 1600, 6 (675-706):
12345