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 条
  • [41] EQUIVALENCE TRANSFORMATIONS PROGRAM SCHEMES
    SABELFELD, VK
    ACTA INFORMATICA, 1978, 10 (02) : 127 - 155
  • [42] Implementing typeful program transformations
    Chen, CY
    Xi, HW
    ACM SIGPLAN NOTICES, 2003, 38 (10) : 260 - 268
  • [43] THE PROGRAM DEPENDENCE GRAPH IN STATIC PROGRAM TESTING
    KOREL, B
    INFORMATION PROCESSING LETTERS, 1987, 24 (02) : 103 - 108
  • [44] Static Analysis of Data Transformations in Jupyter Notebooks
    Negrini, Luca
    Shabadi, Guruprerana
    Urban, Caterina
    PROCEEDINGS OF THE 12TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON THE STATE OF THE ART IN PROGRAM ANALYSIS, SOAP 2023, 2023, : 8 - 13
  • [45] Static analysis of XML transformations in java']java
    Kirkegaard, C
    Moller, A
    Schwartzbach, MI
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2004, 30 (03) : 181 - 192
  • [46] Generating static fluid spheres by conformal transformations
    Loranger, Jonathan
    Lake, Kayll
    PHYSICAL REVIEW D, 2008, 78 (12):
  • [47] DSL Tool Development with Transformations and Static Mappings
    Kalnina, Elina
    Kalnins, Audris
    MODELS IN SOFTWARE ENGINEERING, 2009, 5421 : 356 - 370
  • [48] Static program analysis for IoT risk mitigation in space-air-ground integrated networks
    Haotian Deng
    Tao Liu
    Xiaochen Ma
    Weijie Wang
    Chuan Zhang
    Huishu Wu
    Liehuang Zhu
    Security and Safety, 2024, 3 (02) : 43 - 57
  • [49] Naturalistic Static Program Analysis
    Kallehbasti, Mohammad Mehdi Pourhashem
    Ghafari, Mohammad
    2023 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION AND REENGINEERING, SANER, 2023, : 743 - 747
  • [50] STATIC FLOWS IN NETWORKS
    LOVETSKII, SE
    MELAMED, II
    AUTOMATION AND REMOTE CONTROL, 1987, 48 (10) : 1269 - 1291
12345