PROGRAM OPTIMIZATION USING INVARIANTS

被引：4
|
作者：
KATZ, S
机构：
来源：
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1978年 / 4卷 / 05期
关键词：
D O I：
10.1109/TSE.1978.233858
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：378 / 389
页数：12
相关论文
共 50 条
  • [21] Counting gauge invariants: the plethystic program
    Feng, Bo
    Hanany, Amihay
    He, Yang-Hui
    JOURNAL OF HIGH ENERGY PHYSICS, 2007, (03):
  • [22] PROGRAM INVARIANTS AS FIXED-POINTS
    CLARKE, EM
    COMPUTING, 1979, 21 (04) : 273 - 294
  • [23] Catching bugs in the web of program invariants
    Flanagan, C
    Flatt, M
    Krishnamurthi, S
    Weirich, S
    Felleisen, M
    ACM SIGPLAN NOTICES, 1996, 31 (05) : 23 - 32
  • [24] Dynamically discovering likely program invariants to support program evolution
    Ernst, MD
    Cockrell, J
    Griswold, WG
    Notkin, D
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2001, 27 (02) : 99 - 123
  • [25] Detecting Silent Data Corruptions in Aerospace-Based Computing Using Program Invariants
    Ma, Junchi
    Yu, Dengyun
    Wang, Yun
    Cai, Zhenbo
    Zhang, Qingxiang
    Hu, Cheng
    INTERNATIONAL JOURNAL OF AEROSPACE ENGINEERING, 2016, 2016
  • [26] MPSoC memory optimization using program transformation
    Bouchebaba, Youcef
    Girodias, Bruno
    Nicolescu, Gabriela
    Aboulhamid, El Mostapha
    Lavigueur, Bruno
    Paulin, Pierre
    ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2007, 12 (04)
  • [27] OPTIMIZATION PROGRAM BY USING GENERALIZED BENDING METHOD
    CHEN, KC
    CHANG, MW
    JOURNAL OF THE OPTICAL SOCIETY OF AMERICA A-OPTICS IMAGE SCIENCE AND VISION, 1984, 1 (12): : 1219 - 1219
  • [28] Summary of Dynamically discovering likely program invariants
    Ernst, MD
    IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS: SYSTEMS AND SOFTWARE EVOLUTION IN THE ERA OF THE INTERNET, 2001, : 540 - 544
  • [29] Detecting Bugs of Concurrent Programs With Program Invariants
    Wang, Rong
    Ding, Zuohua
    Gui, Ning
    Liu, Yang
    IEEE TRANSACTIONS ON RELIABILITY, 2017, 66 (02) : 425 - 439
  • [30] Generating Loop Invariants for Program Verification by Transformation
    Hamilton, G. W.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (253): : 36 - 53
12345