A REWRITING SEMANTICS FOR PROGRAM DEPENDENCE GRAPHS

被引：0
|
作者：
SELKE, RP
机构：
来源：
CONFERENCE RECORD OF THE SIXTEENTH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES | 1989年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：12 / 24
页数：13
相关论文
共 50 条
  • [1] An operational semantics of program dependence graphs for unstructured programs
    Ito, Souhei
    Hagihara, Shigeki
    Yonezaki, Naoki
    ADVANCES IN COMPUTER SCIENCE - ASIAN 2006: SECURE SOFTWARE AND RELATED ISSUES, 2007, 4435 : 264 - +
  • [2] THE SEMANTICS OF PROGRAM DEPENDENCE
    CARTWRIGHT, R
    FELLEISEN, M
    SIGPLAN NOTICES, 1989, 24 (07): : 13 - 27
  • [3] Fuzzy rewriting - Soft program semantics for children
    Harada, Y
    Potter, R
    200S IEEE SYMPOSIUM ON HUMAN CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, 2003, : 39 - 46
  • [4] A REWRITING LOGIC SEMANTICS APPROACH TO MODULAR PROGRAM ANALYSIS
    Hills, Mark
    Rosu, Grigore
    PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'10), 2010, 6 : 151 - 160
  • [5] From Rewriting Logic, to Programming Language Semantics, to Program Verification
    Rosu, Grigore
    LOGIC, REWRITING, AND CONCURRENCY, 2015, 9200 : 598 - 616
  • [6] Visualization of program dependence graphs
    Wuerthinger, Thomas
    Wimmer, Christian
    Moessenboeck, Hanspeter
    COMPILER CONSTRUCTION, 2008, 4959 : 193 - 196
  • [7] REPRESENTATION FOR PROGRAM CONTROL-STRUCTURES BY REWRITING OF FLOW-GRAPHS
    HATTORI, N
    ISHII, N
    INFORMATION AND SOFTWARE TECHNOLOGY, 1995, 37 (01) : 39 - 46
  • [8] The rewriting calculus as a semantics of ELAN
    Cirstea, H
    Kirchner, C
    ADVANCES IN COMPUTING SCIENCE-ASIAN' 98, 1998, 1538 : 84 - 85
  • [9] Localized fairness: A rewriting semantics
    Meseguer, J
    TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2005, 3467 : 250 - 263
  • [10] Modular Rewriting Semantics in Practice
    Braga, Christiano
    Meseguer, Jose
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 117 : 393 - 416
12345