Slicing Java']Java programs that throw and catch exceptions

被引：0
|
作者：
Allen, M [1 ]
Horwitz, S [1 ]
机构：
[1] Univ Wisconsin, Dept Comp Sci, Madison, WI 53706 USA
来源：
ACM SIGPLAN NOTICES | 2003年 / 38卷 / 10期
关键词：
algorithms; languages; program slicing; !text type='Java']Java[!/text] exceptions; program dependence graph;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Exceptions are the preferred method for error handling in object-oriented languages like Java. Current program-slicing algorithms do not correctly deal with exception-handling constructs, because they do not account for the additional control and data dependences introduced by exceptions. This paper extends previous work on program slicing using the system dependence graph (SDG) to support slicing programs with exceptions.
引用
收藏
页码：284 / 294
页数：11
相关论文
共 50 条
  • [41] Concolic testing based on dynamic slicing of concurrent Java programs
    Pu, Fangli
    Lu, Yansheng
    Huazhong Keji Daxue Xuebao (Ziran Kexue Ban)/Journal of Huazhong University of Science and Technology (Natural Science Edition), 2009, 37 (10): : 21 - 24
  • [42] Students' misconceptions of java exceptions
    Rashkovits, Rami
    Lavy, Ilana
    Lecture Notes in Business Information Processing, 2012, 129 LNBIP : 1 - 21
  • [43] Changing Java']Java programs
    Eisenbach, S
    Sadler, C
    IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS: SYSTEMS AND SOFTWARE EVOLUTION IN THE ERA OF THE INTERNET, 2001, : 479 - 487
  • [44] On the visualization of Java']Java programs
    Eichelberger, H
    von Gudenberg, JW
    SOFTWARE VISUALIZATION, 2002, 2269 : 295 - 306
  • [45] The treewidth of Java']Java programs
    Gustedt, J
    Mæhle, OA
    Telle, JA
    ALGORITHM ENGINEERING AND EXPERIMENTS, 2002, 2409 : 86 - 97
  • [46] Testing Program Segments to Detect Runtime Exceptions in Java']Java
    Rao, Lei
    Liu, Shaoying
    Liu, Ai
    STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD, SOFL+MSVL 2022, 2023, 13854 : 93 - 105
  • [47] Complexity of points-to analysis of Java']Java in the presence of exceptions
    Chatterjee, R
    Ryder, BG
    Landi, WA
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2001, 27 (06) : 481 - 512
  • [48] Coordinating Exceptions of Java']Java Systems: Implementation and Formal Verification
    Hanazumi, Simone
    de Melo, Ana C. V.
    2012 EIGHTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC 2012), 2012, : 108 - 113
  • [49] Safe locking for multi-threaded Java']Java with exceptions
    Johnsen, Einar Broch
    Thi Mai Thuong Tran
    Owe, Olaf
    Steffen, Martin
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2012, 81 (03): : 257 - 283
  • [50] A Formal Approach to implement java']java exceptions in cooperative systems
    Hanazumi, Simone
    de Melo, Ana C. V.
    JOURNAL OF SYSTEMS AND SOFTWARE, 2017, 131 : 475 - 490
12345