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
关键词
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 条
  • [31] Comparison of Backward Slicing Techniques for Java']Java
    Kashima, Yu
    Ishio, Takashi
    Inoue, Katsuro
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2015, E98D (01): : 119 - 130
  • [32] Slicing Java']Java Server Pages Application
    Sahu, Madhusmita
    Mohapatra, Durga Prasad
    ICIT 2008: PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY, 2008, : 252 - +
  • [33] Dynamic slicing on Java']Java bytecode traces
    Wang, Tao
    Roychoudhury, Abhik
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2008, 30 (02):
  • [34] A static study of Java']Java exceptions using JESP
    Ryder, BG
    Smith, D
    Kremer, U
    Gordon, M
    Shah, N
    COMPILER CONSTRUCTION, PROCEEDINGS, 2000, 1781 : 67 - 81
  • [35] Towards a Context Dependent Java']Java Exceptions Hierarchy
    Kechagia, Maria
    Sharma, Tushar
    Spinellis, Diomidis
    PROCEEDINGS OF THE 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C 2017), 2017, : 347 - 349
  • [36] Fault Localization and Repair for Java']Java Runtime Exceptions
    Sinha, Saurabh
    Shah, Hina
    Goerg, Carsten
    Jiang, Shujuan
    Kim, Mijung
    Harrold, Mary Jean
    ISSTA 2009: INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, 2009, : 153 - 163
  • [37] Modular Transformation of Java']Java Exceptions Modulo Errors
    Rubbens, Robert
    Lathouwers, Sophie
    Huisman, Marieke
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2021, 2021, 12863 : 67 - 84
  • [38] Monitors and exceptions: how to implement Java']Java efficiently
    Krall, A
    Probst, M
    CONCURRENCY-PRACTICE AND EXPERIENCE, 1998, 10 (11-13): : 837 - 850
  • [39] Inductive Proof Outlines for Exceptions in Multithreaded Java']Java
    Abraham, Erika
    de Boer, Frank S.
    de Roever, Willem-Paul
    Steffen, Martin
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 159 (281-297) : 281 - 297
  • [40] Control flow analysis in the presence of exceptions for Java']Java
    Yahyaoui, H
    Tawbi, N
    Rodrigue, JF
    CCECE 2003: CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1-3, PROCEEDINGS: TOWARD A CARING AND HUMANE TECHNOLOGY, 2003, : 1363 - 1368