Crosscutting invariant and an efficient checking algorithm using program slicing

被引：0
|
作者：
College of Computer Science and Technology, Zhejiang University, Hangzhou, China [1 ]
机构：
来源：
ACM SIGPLAN Not. | 2008年 / 2卷 / 12-20期
关键词：
16;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Improved program slicing algorithm applied to instruction semantic
    Fang, Xia
    Yin, Qing
    Jiang, Liehui
    Zhou, Bo
    2008 PROCEEDINGS OF INFORMATION TECHNOLOGY AND ENVIRONMENTAL SYSTEM SCIENCES: ITESS 2008, VOL 4, 2008, : 624 - 627
  • [32] Program Slicing:Its Improved Algorithm and Application in Verification
    陆奇
    张福波
    钱家骅
    JournalofComputerScienceandTechnology, 1988, (01) : 29 - 39
  • [33] Using capabilities for strict runtime invariant checking
    Gariano, Isaac Oscar
    Servetto, Marco
    Potanin, Alex
    SCIENCE OF COMPUTER PROGRAMMING, 2022, 224
  • [34] A memory efficient slicing algorithm for large STL flies
    Choi, SH
    Kwok, KT
    SOLID FREEFORM FABRICATION PROCEEDINGS, AUGUST 1999, 1999, : 155 - 162
  • [35] An efficient genetic algorithm for slicing floorplan area optimization
    Lin, CT
    Chen, DS
    Wang, YW
    2002 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL II, PROCEEDINGS, 2002, : 879 - 882
  • [36] A memory-efficient emptiness checking algorithm
    Department of Computer Science and Engineering, Shanghai Jiaotong University, Shanghai 200030, China
    J. Inf. Comput. Sci., 2006, 4 (803-810):
  • [37] Efficient and Rotation Invariant Fingerprint Matching Algorithm Using Adjustment Factor
    Khan, Asif Iqbal
    ArifWani, M.
    2015 IEEE 14TH INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND APPLICATIONS (ICMLA), 2015, : 1103 - 1110
  • [38] Efficient radar target recognition using the MUSIC algorithm and invariant features
    Kim, KT
    Seo, DK
    Kim, HT
    IEEE TRANSACTIONS ON ANTENNAS AND PROPAGATION, 2002, 50 (03) : 325 - 337
  • [39] Bug classification using program slicing metrics
    Pan, Kai
    Kim, Sunghun
    Whitehead, E. James, Jr.
    SIXTH IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2006, : 31 - +
  • [40] Research on the Algorithm for Coarse-Grained Web Program Slicing
    Du, Lin
    Han, Yehong
    PROCEEDINGS OF THE 2015 2ND INTERNATIONAL CONFERENCE ON ELECTRICAL, COMPUTER ENGINEERING AND ELECTRONICS (ICECEE 2015), 2015, 24 : 1260 - 1264
12345