메뉴 건너뛰기




Volumn , Issue , 2001, Pages 23-30

Exception analysis for multithreaded Java programs

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; STATIC ANALYSIS;

EID: 31744434030     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APAQS.2001.989998     Document Type: Conference Paper
Times cited : (6)

References (20)
  • 5
    • 85011977207 scopus 로고    scopus 로고
    • An event-based structural operational semantics of multithreaded Java
    • J. Alves-Foss, editor, volume 1523 of Lecture Notes in Computer Science, Springer-Verlag
    • P. Cenciarelli, A. Knapp, B. Reus, and M. Wirsing. An event-based structural operational semantics of multithreaded java. In J. Alves-Foss, editor, Formal Syntax and Semantics of Java, volume 1523 of Lecture Notes in Computer Science, pages 157-200. Springer-Verlag, 1999.
    • (1999) Formal Syntax and Semantics of Java , pp. 157-200
    • Cenciarelli, P.1    Knapp, A.2    Reus, B.3    Wirsing, M.4
  • 9
  • 15
    • 84954067111 scopus 로고    scopus 로고
    • Exception analysis for multithreaded Java programs
    • Korea Advanced Institute of Science and Technology, Apr.
    • S. Ryu. Exception analysis for multithreaded Java programs. Technical Memorandum ROPAS-2001-11, Research On Program Analysis System, Korea Advanced Institute of Science and Technology, Apr. 2001.
    • (2001) Technical Memorandum ROPAS-2001-11, Research on Program Analysis System
    • Ryu, S.1
  • 16
    • 0034448306 scopus 로고    scopus 로고
    • Scalable propagation-based call graph construction algorithms
    • F. Tip and J. Palsberg. Scalable propagation-based call graph construction algorithms. In Proceedings ofACM Conference on OOPSLA, pages 281-293,2000.
    • (2000) Proceedings OfACM Conference on OOPSLA , pp. 281-293
    • Tip, F.1    Palsberg, J.2
  • 17
    • 84966883175 scopus 로고
    • Compile-time detection of uncaught exceptions for Standard ML programs
    • Springer-Verlag, proceedings of the first international static analysis symposium edition
    • K. Yi. Compile-time detection of uncaught exceptions for Standard ML programs. In Lecture Notes in Computer Science, volume 864, pages 238-254. Springer-Verlag, proceedings of the first international static analysis symposium edition, 1994.
    • (1994) Lecture Notes in Computer Science , vol.864 , pp. 238-254
    • Yi, K.1
  • 18
    • 11144225579 scopus 로고    scopus 로고
    • Exception analysis for
    • A. Moreira and D. Demeyer, editors, volume 1743 of Lecture Notes in Computer Science, Springer-Verlag, June
    • K. Yi and B.-M. Chang. Exception analysis for java. In A. Moreira and D. Demeyer, editors, Object-Oriented Technology. ECOOP'99 Workshop Reader (Formal Techniques for Java Programs), volume 1743 of Lecture Notes in Computer Science, pages 111-112. Springer-Verlag, June 1999.
    • (1999) Object-Oriented Technology. ECOOP'99 Workshop Reader (Formal Techniques for Java Programs) , pp. 111-112
    • Yi, K.1    Chang, B.-M.2
  • 19
    • 85028668714 scopus 로고    scopus 로고
    • Towards a cost-effective estimation of uncaught exceptions in SML programs
    • volume 1302 of Lecture Notes in Computer Science, Springer-Verlag
    • K. Yi and S. Ryu. Towards a cost-effective estimation of uncaught exceptions in SML programs. In Proceedings of the 4th International Static Analysis Symposium, volume 1302 of Lecture Notes in Computer Science, pages 98-113. Springer-Verlag, 1997.
    • (1997) Proceedings of the 4th International Static Analysis Symposium , pp. 98-113
    • Yi, K.1    Ryu, S.2
  • 20
    • 18944376904 scopus 로고    scopus 로고
    • A cost-effective estimation of uncaught exceptions in Standard ML programs
    • Extended version of [19] (to appear)
    • K. Yi and S. Ryu. A cost-effective estimation of uncaught exceptions in Standard ML programs. Theoretical Computer Science, 273(1), 2001. Extended version of [19] (to appear).
    • (2001) Theoretical Computer Science , vol.273 , Issue.1
    • Yi, K.1    Ryu, S.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.