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 条
  • [1] Automated support for program refactoring using invariants
    Kataoka, Y
    Ernst, MD
    Griswold, WG
    Notkin, D
    IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS: SYSTEMS AND SOFTWARE EVOLUTION IN THE ERA OF THE INTERNET, 2001, : 736 - 743
  • [2] Program verification using automatic generation of invariants
    Rodríguez-Carbonell, E
    Kapur, D
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2004, 2005, 3407 : 325 - 340
  • [3] Dynamic Synthesis of Program Invariants using Genetic Programming
    Cardamone, Luigi
    Mocci, Andrea
    Ghezzi, Carlo
    2011 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), 2011, : 624 - 631
  • [4] Using Likely Program Invariants to Detect Hardware Errors
    Sahoo, Swarup Kumar
    Li, Man-Lap
    Ramachandran, Pradeep
    Adve, Sarita V.
    Adve, Vikram S.
    Zhou, Yuanyuan
    2008 IEEE INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS & NETWORKS WITH FTCS & DCC, 2008, : 70 - 79
  • [5] SymInfer: Inferring Program Invariants using Symbolic States
    ThanhVu Nguyen
    Dwyer, Matthew B.
    Visser, Willem
    PROCEEDINGS OF THE 2017 32ND IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE'17), 2017, : 804 - 814
  • [6] EXERCISE IN PROGRAM DESIGN USING SIMULA CLASS INVARIANTS
    CUNNINGHAM, RJ
    KRAMER, J
    SOFTWARE-PRACTICE & EXPERIENCE, 1978, 8 (03): : 355 - 369
  • [7] Automatic Software Fault Localization using Generic Program Invariants
    Abreu, Rui
    Gonzalez, Alberto
    Zoeteweij, Peter
    van Gemund, Arjan J. C.
    APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 712 - 717
  • [8] Practical Automated Vulnerability Monitoring Using Program State Invariants
    Giuffrida, Cristiano
    Cavallaro, Lorenzo
    Tanenbaum, Andrew S.
    2013 43RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN), 2013,
  • [9] On Strongest Algebraic Program Invariants
    Hrushovski, Ehud
    Ouaknine, Joel
    Pouly, Amaury
    Worrell, James
    JOURNAL OF THE ACM, 2023, 70 (05)
  • [10] Computing polynomial program invariants
    Müller-Olm, M
    Seidl, H
    INFORMATION PROCESSING LETTERS, 2004, 91 (05) : 233 - 244
12345