PROGRAM TRANSFORMATIONS FOR STATIC PROCESS NETWORKS

被引：0
|
作者：
COX, S [1 ]
HUANG, SY [1 ]
KELLY, P [1 ]
LIU, JX [1 ]
TAYLOR, F [1 ]
机构：
[1] UNIV LONDON IMPERIAL COLL SCI TECHNOL & MED, DEPT COMP, LONDON SW7 2BZ, ENGLAND
来源：
SIGPLAN NOTICES | 1993年 / 28卷 / 01期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：60 / 63
页数：4
相关论文
共 50 条
  • [31] PROBLEM OF EQUIVALENT PROGRAM TRANSFORMATIONS
    PODLOVCHENKO, RI
    PROGRAMMING AND COMPUTER SOFTWARE, 1986, 12 (06) : 257 - 266
  • [32] Implementing typeful program transformations
    Chen, CY
    Shi, R
    Xi, HW
    FUNDAMENTA INFORMATICAE, 2006, 69 (1-2) : 103 - 121
  • [33] Future directions in program transformations
    Paige, R
    ACM SIGPLAN NOTICES, 1997, 32 (01) : 94 - 98
  • [34] A LANGUAGE FOR SPECIFYING PROGRAM TRANSFORMATIONS
    HILDUM, D
    COHEN, J
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (06) : 630 - 638
  • [35] APL PROGRAM FOR BILINEAR TRANSFORMATIONS
    MOORE, KA
    IEEE TRANSACTIONS ON ACOUSTICS SPEECH AND SIGNAL PROCESSING, 1974, AS22 (03): : 225 - 226
  • [36] PROGRAM TRANSFORMATIONS FOR CONFIGURING COMPONENTS
    MASON, IA
    TALCOTT, CL
    SIGPLAN NOTICES, 1991, 26 (09): : 297 - 308
  • [37] EQUIVALENCY AND TRANSFORMATIONS OF PROGRAM SCHEMES
    YANOV, YI
    DOKLADY AKADEMII NAUK SSSR, 1957, 113 (01): : 39 - 42
  • [38] Specification method of program transformations
    Liu, Zongtian
    Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 35 (01): : 87 - 90
  • [39] Automating Mathematical Program Transformations
    Agarwal, Ashish
    Bhat, Sooraj
    Gray, Alexander
    Grossmann, Ignacio E.
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, 2010, 5937 : 134 - +
  • [40] Mathematical foundations for program transformations
    Ben Ayed, R
    Desharnais, J
    Frappier, M
    Mili, A
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 1999, 1559 : 319 - 321
12345