-
1
-
순환 논리 질의 최적화를 위한 정적 필터의 고정점 계산
-
창병모;
최광무;
한태숙;
;
(정보과학회논문지 = Journal of the Korea Information Science Society,
v.20,
1993,
pp.1391-1402)
-
2
-
논리 프로그램의 두 단계 추상 해석 틀
-
창병모;
;
(정보과학회논문지. Journal of KISS (b):software and applications. B,
v.23,
1996,
pp.661-670)
-
3
-
다단계 규칙 변환에 의한 Java 언어를 위한 다양한 제어흐름 분석 유도
-
Chang, Byeong-Mo;
숙명여자대학교 컴퓨터과학부;
(정보과학회논문지. Journal of KIISE. 소프트웨어 및 응용,
v.40,
2013,
pp.609-619)
-
4
-
자바 언어를 위한 정적 분석
-
창병모;
;
(프로그래밍언어연구회지,
v.13,
1999,
pp.2-18)
-
5
-
논리 프로그램의 타입 및 모드 분석의 계층 구조
-
창병모;
;
(정보과학회논문지. Journal of KISS (b):software and applications. B,
v.26,
1999,
pp.335-342)
-
6
-
SAS/PLILP ’98을 다녀와서
-
창병모;
;
(프로그래밍언어연구회지,
v.12,
1998,
pp.22-25)
-
7
-
자바 언어를 위한 예외 상황 분석 비교 연구
-
조장우;
창병모;
;
(프로그래밍언어논문지,
v.14,
2000,
pp.28-33)
-
8
-
요약 해석 및 응용
-
창병모;
숙명여자대학교 정보과학부;
(소프트웨어공학회지 = Software engineering review,
v.13,
2000,
pp.9-17)
-
9
-
Java 언어를 위한 쓰레드 모니터링 시스템
-
문세원;
창병모;
삼성전자;
숙명여자대학교 컴퓨터과학과;
(정보처리학회논문지. The KIPS transactions. Part A. Part A,
v.a13,
2006,
pp.205-210)
-
10
-
자바 언어에 대한 예외 분석 방법 비교
-
조장우;
창병모;
부산외국어대학교 컴퓨터전자공학과;
숙명여자대학교 전산학과;
(정보과학회논문지. Journal of KIISE. 소프트웨어 및 응용,
v.28,
2001,
pp.460-465)