Pointer analysis of multithreaded Java programs

被引：0
|
作者：
Nanda, Mangala Gowri [1 ]
Ramesh, S. [2 ]
机构：
[1] IBM, India Research Laboratory, IIT, New Delhi 110016, India
[2] Dept. of Computer Science, Indian Institute of Technology, Bombay, India
来源：
Proc ACM Symp Appl Computing | 1600年 / 1068-1075期
关键词：
Compendex;
D O I：
Proceedings of the 2003 ACM Symposium on Applied Computing
中图分类号：
学科分类号：
摘要：
Algorithms - Context free languages - Java programming language - Problem solving
引用
收藏
相关论文
共 50 条
  • [1] Pointer analysis for multithreaded programs
    Rugina, R
    Rinard, M
    [J]. ACM SIGPLAN NOTICES, 1999, 34 (05) : 77 - 90
  • [2] Pointer and escape analysis for multithreaded programs
    Salcianu, A
    Rinard, M
    [J]. ACM SIGPLAN NOTICES, 2001, 36 (07) : 12 - 23
  • [3] Probabilistic pointer analysis for multithreaded programs
    El-Zawawy, Mohamed A.
    [J]. SCIENCEASIA, 2011, 37 (04): : 344 - 354
  • [4] Exception analysis for multithreaded Java']Java programs
    Ryu, SY
    Yi, KK
    [J]. SECOND ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2001, : 23 - 30
  • [5] Compositional pointer and escape analysis for Java']Java programs
    Whaley, J
    Rinard, M
    [J]. ACM SIGPLAN NOTICES, 1999, 34 (10) : 187 - 206
  • [6] Sparse Flow-Sensitive Pointer Analysis for Multithreaded Programs
    Sui, Yulei
    Di, Peng
    Xue, Jingling
    [J]. PROCEEDINGS OF CGO 2016: THE 14TH INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION, 2016, : 160 - 170
  • [7] Symbolic context-bounded analysis of multithreaded java']java programs
    Suwimonteerabuth, Dejvuth
    Esparza, Javier
    Schwoon, Stefan
    [J]. MODEL CHECKING SOFTWARE, PROCEEDINGS, 2008, 5156 : 270 - 287
  • [8] On verifying distributed multithreaded Java']Java programs
    Chen, J
    [J]. SOFTWARE QUALITY JOURNAL, 1999, 8 (04) : 321 - 341
  • [9] Visual debugging of multithreaded Java']Java programs
    Jackson, D
    [J]. IEEE SYMPOSIA ON HUMAN-CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, PROCEEDINGS, 2001, : 340 - 341
  • [10] Thread-sensitive points-to analysis for multithreaded Java']Java programs
    Chang, BM
    Choi, JD
    [J]. COMPUTER AND INFORMATION SCIENCES - ISCIS 2004, PROCEEDINGS, 2004, 3280 : 945 - 954
12345