ANNOTATED PROGRAM TRANSFORMATIONS

被引：0
|
作者：
KASYANOV, VN
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 405卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：171 / 180
页数：10
相关论文
共 50 条
  • [21] Automating Mathematical Program Transformations
    Agarwal, Ashish
    Bhat, Sooraj
    Gray, Alexander
    Grossmann, Ignacio E.
    [J]. PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, 2010, 5937 : 134 - +
  • [22] EQUIVALENCY AND TRANSFORMATIONS OF PROGRAM SCHEMES
    YANOV, YI
    [J]. DOKLADY AKADEMII NAUK SSSR, 1957, 113 (01): : 39 - 42
  • [23] EQUIVALENCE TRANSFORMATIONS PROGRAM SCHEMES
    SABELFELD, VK
    [J]. ACTA INFORMATICA, 1978, 10 (02) : 127 - 155
  • [24] Mathematical foundations for program transformations
    Ben Ayed, R
    Desharnais, J
    Frappier, M
    Mili, A
    [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 1999, 1559 : 319 - 321
  • [25] Implementing typeful program transformations
    Chen, CY
    Xi, HW
    [J]. ACM SIGPLAN NOTICES, 2003, 38 (10) : 260 - 268
  • [26] Tracing Program Transformations with String Origins
    Inostroza, Pablo
    van der Storm, Tijs
    Erdweg, Sebastian
    [J]. THEORY AND PRACTICE OF MODEL TRANSFORMATIONS, ICMT 2014, 2014, 8568 : 154 - 169
  • [27] PERFORMING GEOMETRIC TRANSFORMATIONS BY PROGRAM TRANSFORMATION
    NICHOLL, RA
    NICHOLL, TM
    [J]. ACM TRANSACTIONS ON GRAPHICS, 1990, 9 (01): : 28 - 40
  • [28] PROGRAM TRANSFORMATIONS FOR STATIC PROCESS NETWORKS
    COX, S
    HUANG, SY
    KELLY, P
    LIU, JX
    TAYLOR, F
    [J]. SIGPLAN NOTICES, 1993, 28 (01): : 60 - 63
  • [29] ON CONVERGENCE TOWARD A DATABASE OF PROGRAM TRANSFORMATIONS
    BARSTOW, D
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1985, 7 (01): : 1 - 9
  • [30] THE VALUE FLOW GRAPH - A PROGRAM REPRESENTATION FOR OPTIMAL PROGRAM TRANSFORMATIONS
    STEFFEN, B
    KNOOP, J
    RUTHING, O
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 432 : 389 - 405
12345