창병모 프로필 사진

창병모

Chang, Byeong Mo

대학

공과대학

소프트웨어학부(첨단)

자료 필터

자료유형

발행연도

1993 ~ 2024
1993 2024

키워드

언어

전체 69건 중 51번부터 60번까지의 결과를 표시합니다.

2004
Article

예외 흐름 분석을 정상 흐름 분석과 분리하여 Java프로그램에 대한 제어 흐름 그래프를 생성하는 방법

  • 2004-05
  • 정보과학회논문지 : 소프트웨어 및 응용
  • 한국정보과학회
Article

Constructing control flow graph for Java by decoupling exception flow from normal flow

  • 2004-05
  • Lecture Notes in Computer Science
  • SPRINGER-VERLAG BERLIN
2003
Article

Constructing control flow graph that accounts for exception induced control flows for Java

  • 2003-08
  • Proceedings - KORUS 2003: 7th Korea-Russia International Symposium on Science and Technology
  • Institute of Electrical and Electronics Engineers Inc.
Article

정적분석을 이용한 자바 프로그램의 예외 전파 시각화

  • 2003-08
  • 정보과학회논문지 : 소프트웨어 및 응용
  • 한국정보과학회
Article

Visualization of exception propagation for Java using static analysis

  • 2003-01
  • SCAM 2002 - Proceedings, 2nd IEEE International Workshop on Source Code Analysis and Manipulation
  • Institute of Electrical and Electronics Engineers Inc.
2002
Article

Java 프로그램의 효율적인 분석을 위한 집합-기반 분석의 변환

  • 2002-08
  • 정보과학회논문지 : 소프트웨어 및 응용
  • 한국정보과학회
Article

Managing the granularity of constraint-based analyses by rule transformation

  • 2002-07
  • Information Processing Letters
  • ELSEVIER SCIENCE BV
2001
Article

Granularity of constraint-based analysis for Java

  • 2001-09
  • Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
  • Association for Computing Machinery (ACM)
Article

Interprocedural exception analysis for Java

  • 2001-03
  • Proceedings of the ACM Symposium on Applied Computing
  • Association for Computing Machinery
Book

Java 소프트웨어 솔루션

  • 2001-03
  • 영한출판사