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 条
  • [21] MOBILITY PROGRAM STATIC
    REDFEARN, J
    PHYSICS WORLD, 1994, 7 (11) : 10 - 10
  • [22] Distributed static output feedback robust model predictive control for process networks
    Zhang, Shuzhan
    Zhao, Dongya
    Spurgeon, Sarah K.
    CONTROL ENGINEERING PRACTICE, 2022, 126
  • [23] A SYNTACTIC APPROACH TO PROGRAM TRANSFORMATIONS
    ARIOLA, ZM
    ARVIND
    SIGPLAN NOTICES, 1991, 26 (09): : 116 - 129
  • [24] Program Transformations in the POLCA Project
    Kuper, Jan
    Schubert, Lutz
    Kempf, Kilian
    Glass, Colin
    Bonilla, Daniel Rubio
    Carro, Manuel
    PROCEEDINGS OF THE 2016 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2016, : 882 - 887
  • [25] Program transformations for information personalization
    Perugini, Saverio
    Ramakrishnan, Naren
    COMPUTER LANGUAGES SYSTEMS & STRUCTURES, 2010, 36 (03) : 223 - 249
  • [26] On the transformations of the R networks
    Segre, B
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES, 1927, 184 : 1396 - 1398
  • [27] Probabilistically Accurate Program Transformations
    Misailovic, Sasa
    Roy, Daniel M.
    Rinard, Martin C.
    STATIC ANALYSIS, 2011, 6887 : 316 - 333
  • [28] REUSABILITY THROUGH PROGRAM TRANSFORMATIONS
    CHEATHAM, TE
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1984, 10 (05) : 589 - 594
  • [29] Digital to hybrid program transformations
    Kohn, W
    Remmel, JB
    PROCEEDINGS OF THE 1996 IEEE INTERNATIONAL SYMPOSIUM ON INTELLIGENT CONTROL, 1996, : 342 - 347
  • [30] PROGRAM TRANSFORMATIONS IN A DENOTATIONAL SETTING
    NIELSON, F
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1985, 7 (03): : 359 - 379
12345