Source-to-source transformation in the large

被引：0
|
作者：
Genssler, Thomas [1 ]
Kuttruff, Volker [1 ]
机构：
[1] Forschungszentrum Informatik Karlsruhe, Haid-und-Neu-Strasse 10-14, 76131 Karlsruhe, Germany
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2003年 / 2789卷
关键词：
D O I：
10.1007/978-3-540-45213-3_31
中图分类号：
学科分类号：
摘要：
21
引用
收藏
页码：254 / 265
相关论文
共 50 条
  • [1] Source-to-source transformation in the large
    Genssler, T
    Kuttruff, V
    MODULAR PROGRAMMING LANGUAGES, PROCEEDINGS, 2003, 2789 : 254 - 265
  • [2] PROGRAM IMPROVEMENT BY SOURCE-TO-SOURCE TRANSFORMATION
    LOVEMAN, DB
    JOURNAL OF THE ACM, 1977, 24 (01) : 121 - 145
  • [3] Automatic Sparsity Detection implemented as a source-to-source transformation
    Giering, Ralf
    Kaminski, Thomas
    COMPUTATIONAL SCIENCE - ICCS 2006, PT 4, PROCEEDINGS, 2006, 3994 : 591 - 598
  • [4] Source-to-Source Architecture Transformation for Performance Optimization in BIP
    Bozga, Marius
    Jaber, Mohamad
    Sifakis, Joseph
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2010, 6 (04) : 708 - 718
  • [5] Source-to-Source Architecture Transformation for Performance Optimization in BIP
    Bozga, Marius
    Jaber, Mohamad
    Sifakis, Joseph
    2009 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS, 2009, : 152 - 160
  • [6] Cetus - An extensible compiler infrastructure for source-to-source transformation
    Lee, SI
    Johnson, TA
    Eigenmann, R
    LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, 2004, 2958 : 539 - 553
  • [7] Exhaustive Execution of CHR Through Source-to-Source Transformation
    Elsawy, Ahmed
    Zaki, Amira
    Abdennadher, Slim
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014), 2015, 8981 : 59 - 73
  • [8] A SOURCE-TO-SOURCE TRANSFORMATION FOR INCREASING RULE-BASED SYSTEM PARALLELISM
    PASIK, AJ
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1992, 4 (04) : 336 - 343
  • [9] Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics
    Fakhry, Ghada
    Sharaf, Nada
    Abdennadher, Slim
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2013, 2014, 8901 : 145 - 163
  • [10] Polyhedral Source-to-Source Compiler
    Adamski, Dominik
    Jablonski, Grzegorz
    Perek, Piotr
    Napieralski, Andrzej
    PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON MIXED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS (MIXDES 2016), 2016, : 458 - 463
12345