• Journal of KIISE:Software and Applications
• /
• v.27 no.4
• /
• pp.342-356
• /
• 2000

We present a static analysis method to automatically generate test data that raise exceptions in input programs. Using the test data from our analysis, a programmer can check whether the raised exceptions are correctly handled with respect to the program's specification. For a given program, starting from the initial constraint that a particular raise expression should be executed, our analysis derives necessary constraints for its input variable. Correctness of our analysis assures that any value that satisfies the derived constraints for the input variable will activate the designated raise expression. In this paper, we formally present such an analysis for a first-order language with the ML-style exception handling constructs and algebraic data values, prove its correctness, and show a set of examples.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10b
• /
• pp.586-589
• /
• 2006

순수 함수형 언어에서 예외처리를 구현하는 것은 매우 까다로운 문제이다. 지연계산, 참조투명성과 같은 주요 특징은 예외 처리와 상반된 성질을 가지는 때문이다. 예외의 처리순서는 계산순서와 관계가 있고, 예외의 발생순서는 참조투명성과 밀접한 관계가 있다. 본 논문은 현재 하스켈(Haskell)에서 구현된 예외처리 방법의 분석을 통해, 프로그램 수행 시 효율적인 예외처리 방법에 대해서 제시한다. 합성된 프로그램에서 예외 발생할 때 예외가 전달되는 것을 사전에 차단하는 방법을 이용한다. 실제 예외가 발생한 프로그램을 작성하고, 프로파일링을 통하여 이 방법의 효율성을 점검한다.

• Korea Trade Review
• /
• v.43 no.4
• /
• pp.89-110
• /
• 2018

This paper reviews the practical operations and exceptions to the independent principle by analyzing the leading cases of English documentary credit transactions. A bank's undertaking in L/C transactions differentiates between underlying contract and other contracts. The autonomy principle is the key principle governing L/C, but this principle may be connected with unfair (unjust) payment. English Law is strongly influenced by the developments in American Law in the case of fraud, but traditionally, British courts has been very reluctant to interfere in banks' independent undertaking under the L/C. The position of British case law relating to fraud is based on Sztejn. In practice, British courts recognize fraud as an exception to the autonomy principle in which the case is sufficiently serious to render it unjust to permit the beneficiary to receive payment. British case law has historically taken a narrow approach toward intervention in the independent principle of documentary credit. Therefore, innocent parties including beneficiaries are protected by these regulations regarding fraud.

• Journal of KIISE:Software and Applications
• /
• v.27 no.3
• /
• pp.275-289
• /
• 2000

ML's exception handling makes it possible to describe exceptional execution flows conveniently. Sometimes, current implementation of exception handling introduces unnecessary overhead. Our goal is to reduce this overhead by source-level transformation. To this end, we transform source programs into variant of continuation-passing style(CPS), replacing handle and raise expressions by continuation-catching and throwing expressions, respectively. CPS-transforming every expression, however, introduces a new cost. We therefore use an exception analysis to transform expressions selectively: if an expression is statically determined to involve exceptions then it is CPS-transformed; otherwise, it is left in direct style. In this article, we formalize this selective CPS transformation, prove its correctness, and present possible improvement for our transformation.

• Journal of KIISE:Software and Applications
• /
• v.29 no.7
• /
• pp.510-520
• /
• 2002

This paper proposes a transformation-based approach to design constraint-based analyses for Java at a coarser granularity. In this approach, we design a less or equally precise but more efficient version of an original analysis by transforming the original construction rules into new ones. As applications of this rule transformation, we provide two instances of analysis design by rule-transformation. The first one designs a sparse version of class analysis for Java and the second one deals with a sparse exception analysis for Java. Both are designed based on method-level, and the sparse exception analysis is shown to give the same information for every method as the original analysis.

• Spatial Information Research
• /
• v.12 no.4 s.31
• /
• pp.339-349
• /
• 2004

Outliers in spatial databases uuluence on the performance of spatial indexing methods including R-tree. They enlarge the size and overlapping area of MBRs in R-tree which are important factors in determining the performance. In this paper, we give an analysis of outlier effects on R-tree by analytical and experimental work, and propose a method for properly handling outliers. Our experimental results show that our method improves about 15 percents of the performance.

• Journal of Technology Innovation
• /
• v.25 no.2
• /
• pp.153-179
• /
• 2017

Korean government has granted fixed indirect cost rates to several exceptional R&D programs which is lower than the predetermined rate by the government. It has been needed to evaluate the validity of exceptional R&D programs and determine the optimal indirect costs rate of the programs. This study analyzes the cost structure and explores drivers of indirect costs of exceptional R&D programs and evaluates the validity of current indirect costs rates. Finally, we propose the formulas for indirect costs rates of exceptional R&D programs. We analyze the cost structure of the exceptional R&D programs. Equipments and material costs are 50% in infra building program. Scholarship to students is 43% in HRD program. Equipments and material costs are 50% and R&D activity costs are 31% in international R&D program. Main cost components of evaluation program are salary(37%), R&D execution costs(21%) and R&D activity costs(19%). We propose three formulas of indirect costs for exceptional programs. 1) The cost items with exceptionally large amount are excluded in the base of formula for indirect costs. 2) Fixed indirect cost rate is applied for specific R&D programs. 3) Upper bound is set for the cost items with exceptionally large amount in the calculation of indirect costs rate. Our proposal is expected to contribute to the improvement of the efficiency of national R&D programs.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.457-459
• /
• 2000

최근 이동단말기나 PDA, 스마트폰과 같은 정보기기나 디지털 가전기기의 사용이 증대됨에 따라, ARM코어 시스템을 기반으로 하는 프로세서와 이를 운영하기 위한 소프트웨어 수요도 증가하고 있다. 본 논문은 프로세서를 운영하기 위한 소프트웨어 중에서 예외처리를 위한 일반적인 인터럽트 제어를 다룬다. ARM 시스템 상에서 임의의 주변 장치(타이머/카운터)에 의해 발생하는 인터럽트 처리 과정과 예외처리를 제어하기 위한 벡터 테이블을 구성하는 방법에 대해 분석한다. 그리고 인터럽트를 처리하는 인터럽트 코드부분과 벡터 테이블내의 인터럽트의 상호 연관성에 대해 논의한다.

• Journal of the Korean Society for information Management
• /
• v.34 no.1
• /
• pp.263-289
• /
• 2017

The purpose of this study is to enhance the understanding of the provisions for library exceptions in copyright laws and to suggest the direction for the revision of provision in the Copyright Act of Korea. This study compares and analyzes the provisions for library exceptions in several countries' copyright law including Korea, Japan, UK, Australia and USA. This study found that the most common issues in library exception provisions are providing reproduction for users, reproduction for preservation, reproduction for interlibrary loan and digitization of library collections but the conditions for each issue are quite different. The suggestions for the revision of the library exceptions in the Copyright Act of Korea are as follows: changing the amount of reproduction of unpublished works, of works which cannot be obtained at a fair price and of periodicals for users, the transmitting digital reproduction to the user under limited conditions, preparing conditions for reproduction for preservation in libraries, preparing the applicable provisions for reproductions for interlibrary loans and for the limitation of works to be digitized and extending their use at the same time.

• 해운
• /
• no.1 s.24
• /
• pp.30-32
• /
• 2006

유럽집행위원회(EC)는 최근 해운동맹에의 독점금지법(경쟁법) 포괄적용 제외를 규정한 규칙(EC 이사회규칙 4056-86)의 폐지를 제안, 세계해운업계의 이목이 집중되고 있다. 이같은 제안이 현실화될 경우, 장기적으로 선복량 과잉현상이 해소될 것으로 예상되나, 운임의 하락압력이 더욱 강해져 해운선사들의 채산성이 악화될 것으로 분석되고 있다. 다음은 EC 내에서 일고있는 해운동맹에 대한 EU 경쟁법 예외적용 폐지 움직임을 정리한 것이다.(편집자 주)