Showing results 12 to 17 of 17
Issue Date | Title | Author(s) |
---|---|---|
1999-12 | 액션의 온라인 부분계산 | 도경구 |
2000-08 | 액션의미방식에 의한 언어모듈의 정의와 확장 | 도경구 |
2002-04 | 요약해석을 이용한 정보흐름 제어 | 도경구 |
2003-11 | 정보 흐름에 대한 SSA기반 분석 | 도경구 |
2003-11 | 집합 제한식을 이용한 프로시저-내 정보흐름 안전성 분석 | 도경구 |
2000-12 | 컴퓨터시스템 : 액션 의미표기법을 통한 객체의 이해 | 도경구 |