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 条
  • [31] Detecting Bugs of Concurrent Programs with Program Invariants
    Ding, Zuohua
    Wang, Rong
    Hu, Jueliang
    Liu, Yang
    2016 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C 2016), 2016, : 412 - 413
  • [32] Invariants and Well-Foundedness in Program Algebra
    Hayes, Ian J.
    THEORETICAL ASPECTS OF COMPUTING, 2010, 6255 : 1 - 14
  • [33] Research summary for dynamic detection of program invariants
    Univ of Washington, Seattle, WA, United States
    Proc Int Conf Software Eng, (718-719):
  • [34] Constructing Program Invariants via Solving QBF
    Chen, Shikun
    Li, Zhoujun
    Li, Mengjun
    THIRD INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 217 - +
  • [35] Genetic Algorithm Feature Selection and Classifier Optimization Using Moment Invariants and Shape Features
    Wong, Wei K.
    Chekima, Ali
    Bin Ahmad, Ir. Othman
    Mariappan, Muralindran
    Wong, Farrah
    Dhargam, Jamal
    2013 FIRST INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, MODELLING AND SIMULATION (AIMS 2013), 2013, : 55 - 60
  • [36] Arabic character recognition using particle swarm optimization with selected and weighted moment invariants
    Sarfraz, Muhammad
    Al-Awami, Ali Taleb Ali
    2007 9TH INTERNATIONAL SYMPOSIUM ON SIGNAL PROCESSING AND ITS APPLICATIONS, VOLS 1-3, 2007, : 1230 - +
  • [37] Generalized Reduction Constraints for the Global Optimization of Dynamic Process Networks using Topological Invariants
    Wartmann, Michael R.
    Heirung, Tor Aksel N.
    Ruiz, Juan P.
    Ydstie, B. Erik
    2010 AMERICAN CONTROL CONFERENCE, 2010, : 2823 - 2828
  • [38] Program optimization using indexed and recursive data structures
    Liu, YA
    Stoller, SD
    ACM SIGPLAN NOTICES, 2002, 37 (03) : 108 - 118
  • [39] Using optimization to program projects in the era of communicative rationality
    Lowry, Michael B.
    TRANSPORT POLICY, 2010, 17 (02) : 94 - 101
  • [40] Parallel Optimization of Program Instructions Using Genetic Algorithms
    Anghelescu, Petre
    CMC-COMPUTERS MATERIALS & CONTINUA, 2021, 67 (03): : 3293 - 3310
12345