• 한국정보처리학회논문지
• /
• 제7권5호
• /
• pp.1559-1569
• /
• 2000

본 논문에서는 ITU-T에서 통신시트템 구현을 위해 제안된 CHILL96 언어를 C++언어로 변환하는 컴파일러의 설계 및 구현에 관하여 기술하였다. C++ 코드를 생성하기 위해서 CHILL96 언어에서 C++ 언어로서 변환 규칙을 고안하였다. ChILL96 컴파일러는 심볼 테이블과 추상구문트리와 밀접한 관계를 갖는 구문 분석기, 가시싱 제어기, 의미 분석기, 코드 생성기로 이루어져 있다. 또한, 본 논문에서 기술한, CHILL96 컴파일러는 이전에 개발된 다른 CHILL 컴파일러들에 비해 우수한 성능을 보여주었다. 이 논문에서 개발된 CHILL96컴파일러는 성능과 이식성의 향상 이외에도 기존에 CHILL로 개발된 통신 소프트웨어들을 C++로 변환함으로써 신규 기능의 추가니 유지보수에서 편의성을 높였다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제8권6호
• /
• pp.746-755
• /
• 2002

EXPRESS는 공학 분야의 제품 정보를 기술하는 언어로서 서로 다른 시스템 사이의 데이터 교환이 가능하게 한다 그러나 EXPRESS를 사용할 수 있는 소프트웨어의 종류는 제한적이며 이에 비용이 소요된다. 한편, XML은 웹 상에서 데이타의 관리 및 유지를 가능하게 한다. 웹은 사용 및 접근이 쉽고 저렴하기 때문에 XML로 쓰여진 데이타는 특정 애플리케이션이나 시스템에 의존하지 않아도 되므로 데이타 교환에도 유용하게 쓰일 수 있다. 따라서, EXPRESS로 기술된 정보를 XML로 표현할 경우, 누구나 사용하기 쉬운 웹 상에서 그 정보를 사용할 수 있으므로 제품 정보가 기존보다 더 폭넓고 손쉽게 사용되어 원활한 정보 교환이 이루어질 수 있다. 본 연구에서는 이를 위하여, EXPRESS 정보를 각각 그에 대응하는 XML DTD와 XML 스키마로 변환하는 방법을 제시한다. EXPRESS의 각 문법 요소들을 분류하고 이 요소들로 인해 발생할 수 있는 복합적인 경우를 고려하여, 이에 대응하는 XML DTD 요소와 XML 스키마 요소로 나타내는 번역 규칙을 제시한다. 또한, 이 번역 규칙에 의해 각각의 경우에 대응하는 XML DTD와 XML 스키마로 변환하는 번역기를 구현한다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2013년도 제48차 하계학술발표논문집 21권2호
• /
• pp.97-99
• /
• 2013

Although UCI Identification metadata is not represented in the UCI syntax, it means a set of elements that enable users to easily and quickly identify. Against this backdrop, we research on how to design identification metadata for UCI. First of all, we check ISO/IEC 11179 and compare this with UCI properties. And then we defines nine components (such as UCI, Identifier, Title, Type, Mode, Format, Contributor, ContributorEntitiy, and ContributorRole) as elements of the identification metadata and establish encoding scheme with several parts (such as List of Encoding Scheme, Encoding Scheme of Identifier, Encoding Scheme of Type, Encoding Scheme of Mode, Encoding Scheme of Format, and Encoding Scheme of ContributorRole).

• 한국언어정보학회지:언어와정보
• /
• 제19권1호
• /
• pp.19-36
• /
• 2015

Honorific agreement is one of the main properties in languages like Korean, playing a pivotal role in appropriate communication. This makes the deep processing of honorific information crucial in various computational applications such as spoken language translation and generation. This paper shows that departing from previous literature, an adequate analysis of Korean honorification needs to involve a system that has access not only to morpho-syntax but to semantics and pragmatics as well. Along these lines, this paper offers a constraint-based HPSG analysis of Korean honorification in which the enriched lexical information tightly interacts with syntactic, semantic, and pragmatic levels for the proper honorific system.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
• /
• pp.958-960
• /
• 2005

이식성과 성능 사이의 타협을 위해 수식 평가 순서를 부분적으로 정의할 수 밖에 없는 C 언어는 표준이 사용하는 일반 영어의 모호성으로 일부 복잡한 수식의 유효성(validity)을 판별하기 어려운 문제를 안고 있다. 그동안 의존 관계나 언어 형식화(formalization)를 이용해 일관되게 유효성을 판별하려는 시도가 있었으나 이해와 구현 모두가 용이해야 한다는 표준의 요구를 만족하지 못했다. 본 연구에서는 구현을 고려해 AST(Abstract Syntax Tree)에 변수의 참조$\cdot$수정 정보를 덧붙여 수식 부작용(side effect)과 관련된 시퀀스 포인트(sequence point) 문제를 해결하는 효율적인 모델을 제안한다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2018년도 제58차 하계학술대회논문집 26권2호
• /
• pp.461-462
• /
• 2018

본 논문에서는 JavaCC를 사용하여 보안약점을 찾아내는 도구를 구현한다. 이 도구는 구문 정보와 흐름 정보를 이용하여 프로그램 소스 코드에서 보안약점을 찾아 진단한다. 이를 통해 컴파일러 단계별 얻을 수 있는 정보와 관련 보안약점을 연계함으로써 보안약점에 대한 진단 방법과 분석 정보의 연계를 기대할 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (2)
• /
• pp.190-192
• /
• 1999

한국어는 용언이 의미적 제약을 통해 문장을 지배하는 SOV 구조의 언어이다. 또한, 조사나 어미와 같은 기능어의 발달은 물론 관형절은 내포하는 문장이 주류를 이룬다. 따라서 한국어의 구문분석은 부착에 따른 많은 구문 모호성이 발생하게 된다. 본 논문에서는 조건단일화 기반의 CFG문법을 기술하고 문형을 구문 제약으로 하여 구문모호성을 해결하는 방안을 제시한다. 문형은 한국어의 특성을 용언의 하위범주화에 맞게 재분류한 문장의 구조적 유형을 말한다. 본 논문에서 제안하는 문형은 동사와 형용사를 구분하여 39가지로 설정하였다. 이런 문형 정보를 이용하여 관형형 어미를 갖는 용언이 최대의 정보를 가지도록 함으로써 관형절에서 발생하는 부사 및 체언구 부착의 문제가 해결된다. 또한 문형은 이중주어나 이중 목적어 문장을 처리할 수가 있어 한국어에서 발생하는 많은 구문모호성을 해결할 수 있다.

• 한국언어정보학회지:언어와정보
• /
• 제17권2호
• /
• pp.67-91
• /
• 2013

This paper describes Korean Nominal Bank, a project that provides argument structure for instances of the predicative nouns in the Sejong parsed Corpus. We use the language resources of the Sejong project, so that the same set of data is annotated with more and more levels of annotation, since a new type of a language resource building project could bring new information of separate and isolated processing. We have based on the annotation scheme based on the Sejong electronic dictionary, semantically tagged corpus, and syntactically analyzed corpus. Our work also involves the deep linguistic knowledge of syntaxsemantic interface in general. We consider the semantic theories including the Frame Semantics of Fillmore (1976), argument structure of Grimshaw (1990) and argument alternation of Levin (1993), and Levin and Rappaport Hovav (2005). Various syntactic theories should be needed in explaining various sentence types, including empty categories, raising, left (or right dislocation). We also need an explanation on the idiosyncratic lexical feature, such as collocation and etc.

• 한국도서관정보학회지
• /
• 제22권
• /
• pp.1-26
• /
• 1995

Indexes, especially subject indexes, are major tools for information retrieval. To enhance the retrieval effectiveness of subject indexes, the semantic and syntactic relationships of indexing languages are very important elements. This paper examines the afore-mentioned relationships, based on purely the syntax and semantics of Korean language. The outlines of this study are as follows: 1. The characteristics and usages of controlled vocabularies, particularly subject headings lists and thesaury, are reviewed. 2. The semantic relationships, such as equivalence, hierarchical and associative relationships, are defined, and their categories are investigated in detail. Accordingly, the usages of 'See' and 'See also' references are suggested circumstantially. 3. The syntactic relationships are also examined. Particularly, for the syntactic relationships of multiword indexing terms, two kinds of subject entry formats are compared. Since it is more rational for subject headings organized by the principle of context-dependency, the two-fine entry format is recommended for subject indexes. 4. Computerized production techniques of 'See' and 'See also' reference for the semantic relationships of indexing terms are presented. 5. Computerized production techniques of subject indexes representing the syntactic relationships of indexing terms are also presented.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 춘계학술발표논문집 (중)
• /
• pp.1293-1296
• /
• 2003

ebXML의 핵심 컴포넌트(Core Component)는 범 산업 분야 및 다양한 환경에서 재사용 가능하고 컨텍스트(context)에 영향을 받지 않는 일반적인 빌딩블록(building block)으로, 비즈니스 문서를 구성하기 위한 가장 기본 요소이다. 이러한 핵심 컴포넌트는 비즈니스 컨텍스트에 의해 BIE(Business Information Entity)를 이루게 되며 Syntax binding을 통해 XML Schema, DTD 등의 형태로 표현된다. 따라서, ebXML환경에서 사용되는 비즈니스 문서를 포함하여 다양한 종류의 XML Schema, DTD, XML 관련 문서를 쉽게 저작(생성, 검증, 편집)할 수 있는 도구가 필요하다. 본 논문에서는 이러한 요구사항에 적합한 ebXML CC 기반 BD(Business Document) 저작도구로 범용적으로 사용할 수 있는 Schema.DTD 기반 XML 문서 편집기, Schema 문서 편집기, DTD 문서 편집기로 구성된 XDocBuilder를 설계 및 구현하였다.