http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
창병모 소프트웨어공학소사이어티 2000 소프트웨어공학회지 Vol.13 No.3
본 논문에서는 시맨틱스를 기반으로한 대표적인 프로그램 분석 틀로써 최근에 활발한 연구가 진행되고 이는 요약 해석의 기본 개념에 대해서 소개하고 명령형 혹은 객체-지향 언어에서 많이 사용되고 있는 동작 시맨틱스를 기초로 하는 요약 해석에 대해서 설명한다. 또한 최근까지 소개된 요약 해석을 이용한 다양한 응용 분야에 대해서 설명한다.
다단계 규칙 변환에 의한 Java 언어를 위한 다양한 제어흐름 분석 유도
창병모 한국정보과학회 2013 정보과학회논문지 : 소프트웨어 및 응용 Vol. No.
A transformation-based approach was proposed to design constraint-based analyses at coarser granularity. This approach lets us be able to design a less precise but more efficient version of an original expression-level analysis by transforming the original construction rules. Since this approach assumes that the original analysis is designed at expression-level. it has a limit that it is applicable only to expression-level analyses. However, this idea need not be confined to expression- level, and need to be extended. In this paper, we extend this rule-transformation approach so that it can be applied to any analyses which are designed at any level, and so provide a {\em multi-level} mechanism to design practical constraint-based analyses by rule transformation. Using this approach, we also investigate the relationship between a number of CFAs for Java systematically, which determine the interprocedural control flow information. 집합-기반 분석을 보다 굵은 수준으로 설계할 수 있는 변환-기반 방법이 제안되었다. 이 방법을 이용하면 식-수준의 분석으로부터 규칙 변환을 통해 덜 정확하지만 보다 효율적인 분석을 설계할 수 있다. 이 방법은 원래 분석이 각 식에 대해서 하나의 집합 변수를 구성하는 식-수준에서 설계되었다고 가정하였으므로, 식-수준의 분석에만 적용 가능하다는 한계를 가지고 있다. 그러나 이 아이디어는 꼭 식 수준에 한정될 필요가 없으며 확장될 필요가 있다. 본 연구에서는 규칙-변환 방법을 확장하여 어느 수준의 분석에도 적용될 수 있도록 확장하고 이를 통해 실용적인 집합-기반 분석을 설계할 수 있는 다단계 규칙-변환 메커니즘을 제시한다. 또한 이 변환 메커니즘을 이용하여 프로시저 사이의 제어흐름을 보여주는 Java 언어를 위한 다양한 수준의 제어흐름 분석들 사이의 관계를 조명하고 이를 정리한다.
창병모 한국정보과학회 프로그래밍언어연구회 2004 프로그래밍언어논문지 Vol.18 No.1
본 논문에서는 Java 언어의 실행 환경인 자바 가상 기계 (Java virtual machine) 및 바이트코드(Bytecode)의 개요를 소개하고 지금까지 알려진 바이트코드 검증(Bytecode Verification) 기술에 대해서 타입 분석 기법이 적용된 예를 중심으로 설명한다.
안혜선,창병모 숙명여자대학교 자연과학연구소 1999 자연과학논문집 Vol.- No.10
본 연구는 Prolog 프로그램에 대한 웹을 통한 쉽고 효과적인 인터페이스 제공을 목적으로 한다. 이를 위하여 본 논문은 기존의 Prolog 프로그램 코드의 수정 없이 Prolog에 웹 인터페이스를 제공할 수 있는 실행 환경을 Java로 구현하였다. 이 시스템은 클라이언트/서버 모델을 기반으로 하였으며, 클라이언트 서버간의 통신은 Linda 블랙보드를 사용하였다. 또한 개발된 실행 환경은 다중 사용자 서비스 기능을 가지며 Java로 구현되어 플랫폼에 독립적으로 적용될 수 있다. This research aims at providing clients easy and effective access to Prolog programs using Web interface. For this goal, we implements an execution environment in lava, which provides Web interface for Prolog. This approach doesn't require to modify original Prolog codes. This system is based on client server model, and uses Linda Blackboard for communication between clients and server. This system serves multiple users and is platform-independent because of programming in Java.
이수현,창병모 國立 昌原大學校 精報通信硏究所 1998 精報通信論文集 Vol.2 No.-
The current issues in the execution of Prolog programs are focused on WAM. Since intelligent backtracking which reduce nonfruitful or unnecessary work speeds up execution of Prolog, it should be incorporated intelligent backtracking in WAM. Intelligent backtracking, however, suffers from overhead to maintain a lot of information. The semi-intelligent method proposed by Chang and Despain has advantage of low overhead. We implement semi-intelligent backtracking on WAM. We extend machine architecture and change some instructions.
Function - free 논리 프로그램의 Bottom - up 수행의 최적화를 위한 정적 필터의 최소 고정점 정형화
창병모(Byeong-Mo Chang),최광무(Kwang-Moo Choe),한태숙(Tai-sook Han) 한국정보과학회 1992 한국정보과학회 학술발표논문집 Vol.19 No.1
필터링을 이용한 논리 프로그램의 bottom-up 수행은 논리 프로그램 수행의 최적화를 위한 강력한 방법이다. 본 논문에서는 정적 필터의 계산을 연립 방정식 형태로 정형화하고 그 최소 고정점(least fixed point)이 구하고자하는 정적 필터가 되도록 한다. 정적 필터의 계산 과정은 연립 방정식의 최소 고정점을 구하는 과정으로써 설명된다. 여기서 구한 정적 필터를 일반화하여 각 rule의 sideways passing graph(SPG)를 고려하여 부분 정적 필터(partial static filter)를 계산할 수 있으며 동적 필터는 부분 정적 필터로부터 시작하여 단계적으로 계산할 수 있다. 이를 위한 방법이 [CCH92]에 설명되어 있으며 정적 필터만을 이용할 때보다 효율적임이 증명되었고 그 방법의 completeness가 증명되었다.
창병모(Byeong-Mo Chang) 한국정보과학회 1996 정보과학회논문지(B) Vol.23 No.6
추상 해석은 Cousot와 Cousot에 의해서 제안된 시맨틱스에 기초한 데이터 흐름 분석 틀이다. 본 논문에서는 논리 프로그램을 위해서 상향 분석과 하향 분석으로 이루어진 두 페이즈 추상 해석 틀을 제안한다. 이 틀에 기초한 분석은 질의에 관련된 절의 모든 성공 패턴에 대한 근사값을 제공한다. 제안된 틀에 기초한 분석 예로서 타입 분석 방법을 제시한다. 또한 제안된 틀에 기초한 분석 결과를 이용하여 논리 프로그램의 수행을 최적화 하는 예들을 제시한다. Abstract interpretation is a semantics-based data-flow analysis framework proposed by Cousot and Cousot. This paper provides a two-phase abstract interpretation framework, which consists of a bottom-up phase followed by a top-down phase. Analyses based on this framework give an approximation of all success patterns of clauses relevant to a query A type analysis is given as an example analysis based on the framework. Optimization techniques for improving execution of logic programs are given, which use the results of analyses based on the framework.