http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 창병모 (검색결과 83 건)
- 무료
- 기관 내 무료
- 유료
-
창병모 한국정보과학회 프로그래밍언어연구회 2004 프로그래밍언어논문지 Vol.18 No.1
본 논문에서는 Java 언어의 실행 환경인 자바 가상 기계 (Java virtual machine) 및 바이트코드(Bytecode)의 개요를 소개하고 지금까지 알려진 바이트코드 검증(Bytecode Verification) 기술에 대해서 타입 분석 기법이 적용된 예를 중심으로 설명한다.
-
-
창병모 소프트웨어공학소사이어티 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 언어를 위한 다양한 수준의 제어흐름 분석들 사이의 관계를 조명하고 이를 정리한다.
-
-
이수현,창병모 國立 昌原大學校 精報通信硏究所 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.
-
안혜선,창병모 숙명여자대학교 자연과학연구소 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.
-
창병모(Byeong-Mo Chang) 한국정보과학회 1999 정보과학회논문지(B) Vol.26 No.3
논리 프로그램의 타입 및 모드 분석은 실행 시간에 변수가 갖게 되는 텀의 집합에 대한 근사 값을 구하는데 보통 요약 해석을 기반으로 하여 설계되고 개발되어 왔다. 이 논문에서는 타입 및 모드 분석을 위해서 설계된 다양한 요약 도메인을 고려하여 그들간의 계층 관계를 Galois insertion을 기준으로 밝힌다. 이 논문에서는 요약 도메인으로써 타입 그래프, 깊이-k 타입, 깊이-k 모드, 순환 모드, 그리고 모드를 고려할 것이다. 특히 깊이-k 모드는 타입 및 모드 분석을 통합하기 위한 도메인으로써 깊이-k 타입을 확장하여 제안하였다. Type and mode analyses of (constraint) logic programs approximates a set of terms, with which arguments can be instantiated during execution. They have been designed and developed usually based on abstract interpretation. This paper considers various abstract domains designed for type and mode analysis, and to show a hierarchy of them in terms of Galois insertion. We are going to take the following abstract domains into consideration : type graph, depth-k type, depth-k mode, recursive mode, and mode. Depth-k mode is proposed as a new abstract domain for an integration of type and mode analysis, by extending depth-k type of Sato and Tamaki's.
-
상향식 추상 해석을 이용한 논리 프로그램의 AND/0R 병렬 수행 모델 개선
창병모(Byeong-Mo Chang),최광무(Kwang-Moo Choe),한태숙(Taisook Han) 한국정보과학회 1994 정보과학회논문지 Vol.21 No.5
본 논문에서는 상향식 추상 해석(bottom-up abstract interpretation)을 이용하여 논리 프로그램의 병렬 수행 모델인 AND/OR 프로세스 모델을 개선한다. 이를 위하여 기존의 상향식 추상 해석을 깊이 k 추상화를 기초로하여 프로그램의 각 절의 성공 패턴(success pattern)에 대한 근사값을 구할 수 있도록 확장하였다. 확장된 추상 해석은 각 절의 성공 패턴에 대한 근사값을 구할 수 있으며 이를 이용하면 어떠한 subgoal은 실행중에 실패할 것이라는 사실을 컴파일 시간에 결정할 수 있다. 본 연구에서는 이러한 성질을 이용하여 AND/OR 프로세스 모델을 개선하며 이 모델에서 AND 프로세스는 자식 OR 프로세스가 실패할 것이 확실한 경우에 자식 OR 프로세스를 생성하지 않는다. 이 방법론은 다른 하향식 (병렬) 수행에도 쉽게 적용 가능하다. This paper improves the AND/OR Process Model, a parallel execution model of logic programs, using a bottom-up abstract interpretation. We first extend a bottom-up abstract interpretation framework so that it can approximate the program's success patterns of program clauses by depth k abstraction. By the ability of the extended framework to approximate possibly non-ground success patterns for clauses, it can be statically determined whether some subgoals will fail during execution. We improve the AND/OR Process Model using this property, in which AND processes do not create child OR processes if it is statically determined that they will fall during execution. This approach can also be easily applied to other top-down (parallel) execution models.
-
순환 논리 질의 최적화를 위한 정적 필터의 고정점 계산
창병모(Byeong-Mo Chang),최광무(Kwang-Moo Choe),한태숙(Taisook Han) 한국정보과학회 1993 정보과학회논문지 Vol.20 No.9
정적 필터링은 시스템 그래프 수행을 기초로한 순환 논리 질의 최적화 방법이다. 이 방법은 수행하는 동안에 정적 필터를 이용하여 데이터의 흐름을 제한한다. 본 논문은 정적 필터의 계산 과정을 partially ordered set(poset) 위에서 하나의 변환으로 정형화하고 그 변환의 최소고정점을 구함으로써 정적 필터를 구한다. 계산된 정적 필터의 완전성(completeness)은 제시된 정형화를 이용하여 증명한다. 또한 관련 연구에 대해서 간단히 살펴보고 정적 필터링 방법과 비교한다. 본 논문에서는 정적 필터와 그 계산에 대한 정형화된 새로운 관점을 제공한다. Static filtering is a graph-bsed optimization method for recursive logic queries based on the system graph evaluation. It restricts data-flow during evaluation by means of static filers. We formalize the computation of static filters by defining a transformation on a partially ordered set (poset) so that the least fixed point of the transformation can be the static filters. The static filters are computed by computing the least fixed point of the transformation. The completeness of the static filtering with the computed static filters is proved based on the formalism. Moreover, we review some related works in brevity and compare the static filtering with them. The formalism presented in this paper gives a new formal view to static filter and its computation.
연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
