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 条
  • [1] The Impact of Program Transformations on Static Program Analysis
    Namjoshi, Kedar S.
    Pavlinovic, Zvonimir
    STATIC ANALYSIS (SAS 2018), 2018, 11002 : 306 - 325
  • [2] Static program transformations for efficient software model checking
    Vasudevan, S
    Abraham, JA
    BUILDING THE INFORMATION SOCIETY, 2004, 156 : 257 - 281
  • [3] Simple relational correctness proofs for static analyses and program transformations
    Benton, N
    ACM SIGPLAN NOTICES, 2004, 39 (01) : 14 - 25
  • [4] AN IMPLEMENTATION OF STATIC FUNCTIONAL PROCESS NETWORKS
    COX, S
    HUANG, SY
    KELLY, P
    LIU, JX
    TAYLOR, F
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 605 : 497 - 512
  • [5] Improving the testing process by program static analysis
    Kikuchi, N
    Kikuno, T
    APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 195 - 201
  • [6] The dynamic and static structures in the process of MIS program
    Zhang, YH
    PROCEEDINGS OF '97 INTERNATIONAL CONFERENCE ON MANAGEMENT SCIENCE & ENGINEERING, 1997, : 88 - 91
  • [7] Throughput Modeling to Evaluate Process Merging Transformations in Polyhedral Process Networks
    Meijer, Sjoerd
    Nikolov, Hristo
    Stefanov, Todor
    2010 DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2010), 2010, : 747 - 752
  • [8] Static Differential Program Analysis for Software-Defined Networks
    Nelson, Tim
    Ferguson, Andrew D.
    Krishnamurthi, Shriram
    FM 2015: FORMAL METHODS, 2015, 9109 : 395 - 413
  • [9] Statfier: Automated Testing of Static Analyzers via Semantic-Preserving Program Transformations
    Zhang, Huaien
    Pei, Yu
    Chen, Junjie
    Tan, Shin Hwei
    PROCEEDINGS OF THE 31ST ACM JOINT MEETING EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, ESEC/FSE 2023, 2023, : 237 - 249
  • [10] PROGRAM TRANSFORMATIONS
    BALZER, R
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1981, 7 (01) : 1 - 2
12345