http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
도경구,Doh, Kyung-Goo 한국정보처리학회 2000 정보처리논문지 Vol.7 No.12
이 논문은 액션 의미표기법을 사용하여 객체와 그에 관련된 연산들의 의미를 정형적으로 정의한다. 액션 의미표기법은 다른 표기법에 비해서 객체연산의 계산과정을 더 명확히 표현할 수 있을 뿐만 아니라, 구현 방식에 대한 힌트도 얻을 수 있다는 장점이 있다. 이를 보여주기 위해서 Aba야-Cardelli의 시그마 계산표기법에 대한 액션 의미구조를 정의하고, 예제 프로그램을 가지고 그 의미를 전개해 본다. This article uses action semantics to formally specify the meaning of objects and their related operations. The action-semantics framework. compared to others. is able to not only express object-oriented computation steps more clearly, but also provide a hint on how to implement them. As a showcase. an action semantics of a variant of Abadi-Cardelli's-calculus is defined. Then we use an example program to show how to derive the meaning.
도경구(Kyung Goo Doh) 한국정보처리학회 2000 정보처리학회논문지 Vol.7 No.12
This article uses action semantics to formally specify the meaning of objects and their related operations. The action-semantics framework, compared to others, is able to not only express object-oriented computation steps more clearly, but also provide a hint on how to implement them. As a showcase, an action semantics of a variant of Abadi-Cardelli''s -calculus is defined. Then we use an example program to show how to derive the meaning.
도경구(Kyung-Goo Doh) 한국정보과학회 2000 정보과학회논문지 : 소프트웨어 및 응용 Vol.27 No.8
언어의 의미정의모듈은 서로 밀접하게 관련 있는 개념과 연산의 의미구조를 모아 놓은 집합이다. 이 논문은 액션 의미표기법으로 의미정의모듈을 구성하고 확장하는 방법을 제시한다. 표현중심언어 핵심 모듈을 먼저 정의하고, 바인딩, 블록구조, 파라미터, 고차 표현식(함수)에 대한 확장 모듈을 정의한다. 그리고 의미의 획일성과 직교성이 보장되도록 의미정의 모듈들을 합성하면 더 복잡한 언어를 구축할 수 있음을 보인다. A language module is the collection of language constructs whose concepts and operations are closely related. This paper demonstrates how to use action semantics to define and extend language modules. We first define a language module for an expression language core, and then language modules for bindings, block structures, parameters, and higher-order expressions. Finally, we show that the language modules can be combined, if there is no violation of uniformity and orthogonality, to become a more complex language module.
Functional Language Design based on Action Semantics
Doh, Kyung-Goo 漢陽大學校 工學技術硏究所 1996 工學技術論文集 Vol.5 No.1
We use action semantics to specify various constructs of functional programming languages. Following Schmidt, we start from a core functional language and apply Landin and Tennent's extension principles to build up our functional languages. Some important concepts of functional languages were specified through action semantics: eager vs. lazy evaluation, static vs. dynamic scoping, call-by-value vs. call-by-name, recursive bindings, and infinite lists.