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 条
  • [41] Self-optimizing Invariants in Dynamic Optimization
    Jaschke, Johannes
    Fikar, Miroslav
    Skogestad, Sigurd
    2011 50TH IEEE CONFERENCE ON DECISION AND CONTROL AND EUROPEAN CONTROL CONFERENCE (CDC-ECC), 2011, : 7753 - 7758
  • [42] Optimization of Lyapunov Invariants in Verification of Software Systems
    Roozbehani, Mardavij
    Megretski, Alexandre
    Feron, Eric
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2013, 58 (03) : 696 - 711
  • [43] SENSITIVITY INVARIANTS IN THEORY OF NETWORK TOLERANCES AND OPTIMIZATION
    GEHER, K
    ROSKA, T
    PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, 1971, 15 (02): : 89 - &
  • [44] Transition Invariants and Transition Predicate Abstraction for Program Termination
    Podelski, Andreas
    Rybalchenko, Andrey
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2011, 6605 : 3 - +
  • [45] Learning Likely Invariants to Explain Why a Program Fails
    Pham, Long H.
    Sun, Jun
    Ly Ly Tran Thi
    Wang, Jingyi
    Peng, Xin
    2017 22ND INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2017, : 70 - 79
  • [46] Expectation invariants for probabilistic program loops as fixed points
    1600, Springer Verlag (8723):
  • [47] Expectation Invariants for Probabilistic Program Loops as Fixed Points
    Chakarov, Aleksandar
    Sankaranarayanan, Sriram
    STATIC ANALYSIS (SAS 2014), 2014, 8723 : 85 - 100
  • [48] Erlangen Program at Large-1: Geometry of Invariants
    Kisil, Vladimir V.
    SYMMETRY INTEGRABILITY AND GEOMETRY-METHODS AND APPLICATIONS, 2010, 6
  • [49] Using correlation weight optimization of the local invariants of graphs for QSPR simulation of crystal lattice energy
    Toropova, AP
    Toropov, AA
    JOURNAL OF STRUCTURAL CHEMISTRY, 2001, 42 (06) : 1033 - 1035
  • [50] Using Correlation Weight Optimization of the Local Invariants of Graphs for QSPR Simulation of Crystal Lattice Energy
    A. P. Toropova
    A. A. Toropov
    Journal of Structural Chemistry, 2001, 42 : 1033 - 1035
12345