http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 어현준(Hyunjun Eo) (검색결과 6 건)
- 무료
- 기관 내 무료
- 유료
-
어현준(Hyunjun Eo),이광근(Kwangkeun Yi) 한국정보과학회 2000 정보과학회논문지 : 소프트웨어 및 응용 Vol.27 No.9
정적 분석을 사용하여 프로그램의 입력에 의존하는 성질을 예측하는 방법을 제안한다. 제안된 방법은 입력에 무관한 성질을 예측하도록 설계된 정적 분석을 입력에 의존하는 성질을 예측하는 분석으로 변환한다. 이 방법은 실행 중에 프로그램의 성질을 알아내기 위해서 실행중인 프로그램을 관찰하는 코드가 필요 없고 계측된 자료를 모으는 과정도 필요 없다. 정적 분석의 가장 마지막 부분을 프로그램의 실행 시간으로 미루는 것이 이 논문의 핵심 아이디어다. 먼저 정적 분석을 분석하여, 프로그램의 입력에 민감하여 프로그램의 실행시간으로 연기되어야 하는 부분을 찾아낸다. 그 후, 값을 자르는 분석을 사용하여 이 부분을 재구성하여 프로그램의 입력에 대한 간단한 멤버쉽 테스트에 의해 분석이 풀어질 수 있도록 한다. 이런 재구성 과정을 통해 준비된 분석들은 프로그램의 입력이 나타나기만 하면 순간적으로, 동시에 풀려질 수 있다. 모든 과정은 엄밀하게 정의되고 증명되었다. We present a technique of using static analysis for estimating program's input-dependent properties. A static analysis that is originally designed for estimating the input-independent properties of programs is transformed into one that can safely estimate the input-dependent properties at the programs' input occurrence. No profile is collected and no probing codes inside the running program are needed. Our ideais to defer the finish of the static analysis to the program's run-time. By analyzing the static analysis, we identify the parts of the analysis that are sensitive to the program's inputs, hence need to be deferred to the program's run-time. Then by using an analysis named static value-slicing, we short-cut some of the dynamic parts so that they are solved by simple membership tests for the program's input. This re-formulation accelerates the analysis; once the program's input occurs the prepared dynamic parts can immediately and simultaneously start to resolve. Every step of our technique is formally defined and proven correct.
-
분석기 생성 시스템 Z2에서 그래픽 사용자 인터페이스의 자동 생성
어현준(Hyunjun Eo),이광근(Kwangkeun Yi),김성훈(SeongHoon Kim) 한국정보과학회 1997 한국정보과학회 학술발표논문집 Vol.24 No.2Ⅳ
시스템 Z2는 프로그램 분석기를 자동으로 만들어주는 Z1의 새로운 버젼으로써, 본 논문에서는 Z2 시스템의 그래픽 사용자 인터페이스 생성시스템에 대해서 논한다. 이 시스템에 의해 Z2의 입력으로 들어가는 분석기 명세로부터 분석기 결과를 체계적으로 보여주는 그래픽 사용자 인터페이스가 만들어 진다. 만들어지는 인터페이스는 분석할 프로그램과 분석 결과를 유기적으로 연계하여 프로그램의 분석결과를 편리하게 관찰하는 것을 도와준다.
-
어현준(Hyunjun Eo),Nikolay V. Shilov(Nikolay V. Shilov),이광근(Kwangkeun Yi) 한국정보과학회 2001 한국정보과학회 학술발표논문집 Vol.28 No.2Ⅰ
모델체커(model checker)의 정확성을 판단하기 위한 방법으로 이미 엄밀하게 검증된 믿을만한 모델체커의 결과를 바탕으로 한 테스팅의 방법이 있을 수 있다. 우리가 구현한 모델체커는 게임 이론을 바탕으로하여 설계되었기 때문에 그 정확성을 쉽게 증명할 수 있고, 프로그램의 의미가 명확하게 드러나 있기 때문에 믿을 만한(reliable) 모델체커이다. 이 모델체커가 주는 결과들은 다른 모델체커들의 정확성을 판단하는 기준이 될 수 있을 것이다.
-
-
다단계 프로그램에서 프로그램 생성 단계의 자유변수 제거
어현준(Hyunjun Eo),이광근(Kwangkeun Yi) 한국정보과학회 2009 정보과학회논문지 : 소프트웨어 및 응용 Vol.36 No.3
다단계 프로그래밍이란 매크로 프로그래밍, 부분 계산(partial evaluation), 실행시간 코드 생성(runtime code generation)등을 포섭하는 일반적인 방법론으로, 계산을 여러 단계로 나누어 각 단계에 주어진 부분 입력을 통해 다음 단계를 전문화(specialize)함으로써 효율적인 계산을 수행하게 해 준다. 다단계 프로그램은 일반적인 계산 외에 코드(다음 단계의 프로그램)를 생성, 조립 및 실행시킬 수 있다. 본 논문은 코드에 자유변수를 허용하는 다단계 프로그램을 코드에 자유변수가 없는 다단계 프로그램으로 변환하는 방법을 제안한다. 코드에 존재하는 자유변수는 동적으로 바인딩(binding)되기 때문에 이를 구현하기 어려운 문제가 있다. 자유변수가 있는 코드는 환경을 입력으로 받는 함수의 코드로 변환하고, 필요한 환경은 코드를 조립하는 시점에 넘겨 줌으로써 코드에서 자유변수를 제거할 수 있다. 이렇게 자유변수가 제거된 다단계 프로그램은 Davies와 Pfenning이 제안한 방법에 의해 단계가 없는 람다 계산(lambda-calculus)으로 변환된 후 람다 계산법에 의해 실행되어질 수 있다. We present a transformation which converts open-code multi-staged programs into closed ones. Staged computation, which explicitly divides a computation into separate stages, is a unifying framework for existing program generation systems. Because a multi-staged program generates another program, which can also generate a third program and on, the implementation of a multi-staged language is not straightforward. Dynamic binding of (lexically free) variables in code also makes the implementation of a multi-staged language hard. By converting each code into code of function which takes environment for free variables as its argument and giving an actual environment at the code-composition site, we can transform a open-code program into a closed-code one. Combining with Davies and Pfenning’s method, our closed-code-conversion enables the implementation of the unstaged language to be useful for executing multi-staged programs. We also prove the correctness of our conversion: the converted program is equivalent to the original program, and the converted program does not have open code.
-
이광근(Kwangkeun Yi),이욱세(Oukseh Lee),어현준(Hyunjun Eo),김정택(Jungtaek Kim),최응식(Woongsik Choi),류석영(Sukyoung Ryu),강현구(Hyun-Goo Kang),서선애(Sunae Seo),장성순(Sungsoon Jang),김범식(Bomshik Kim) 한국정보과학회 2001 한국정보과학회 학술발표논문집 Vol.28 No.2Ⅰ
상위의 타입 구조를 갖춘 (higher-order and typed) nML을 고안하고 그 컴파일러를 개발하였다. nML은 프로그래밍 언어 분야의 중요한 성과들을 충실히 실현한 언어로서, Standard ML과 Objective Caml의 장점과 실제 프로그래밍 세계의 관성을 염두에 두고 정의되었다. nML 컴파일러의 실용성과 안전성은 이미 여러 응용 시스템 소프트웨어의 개발로 실험되고 있다. 이 전통적인 컴파일러 시스템에 본 연구단의 프로그램 분석기술들이 장착되면서, 실시간 안전성 검증이 가능하고, 작고, 자발적인 적응력 있는 코드를 만들어내는 컴파일러로 발전하는 발판이 마련되었다.
ScienceON
DBpia연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
