한국정보과학회논문지:소프트웨어및응용 (Journal of KIISE:Software and Applications)

한국정보과학회 (Korean Institute of Information Scientists and Engineers)
권호 표지

액션의미방식에 의한 언어모듈의 정의와 확장

Defining and Extending Language Modules: An Action Semantics Approach

  • 도경구 (한양대학교 전자컴퓨터공학부)
  • 발행 : 2000.08.15
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

언어의 의미정의모듈은 서로 밀접하게 관련 있는 개념과 연산의 의미구조를 모아 놓은 집합이다. 이 논문은 액션 의미표기법으로 의미정의모듈을 구성하고 확장하는 방법을 제시한다. 표현중심언어 핵심 모듈을 먼저 정의하고, 바인딩, 블록구조, 파라미터, 고차 표현식(함수)에 대한 확장 모듈을 정의한다. 그리고 의미의 획일성과 직교성이 보장되도록 의미정의 모듈들을 합성하면 더 복잡한 언어를 구축할 수 있음을 보인다.

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.

키워드

참고문헌

  1. Joseph E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, 1977
  2. David A. Schmidt, Denotational Semantics: A Methodology for Language Development, Allyn and Bacon, 1986
  3. Peter D. Mosses, Action Semantics, Cambridge Tracts in Theoretical Computer Science 26, Cambridge University Press, 1992
  4. David A. Watt, Programming Language Syntax and Semantics, Prentice-Hall, 1991
  5. Peter D. Mosses, Theory and practice of action semantics, In MFCS '96, Proc. 21st Int. Symp. on Mathematical Foundations of Computer Science, Cracow, Poland, Lecture Notes in Computer Science 1113, 37-61, Springer-Verlag, 1996
  6. Peter D. Mosses, A tutorial on action semantics, Tutorial notes for FME'94 (Formal Methods Europe, Barcelona, 1994) and FME'96 (Formal Methods Europe, Oxford, 1996), March 1996
  7. Peter D. Mosses, A modular SOS for action notation, Technical Report BRICS RS-99-56, University of Aarhus, December 1999
  8. Peter D. Mosses and David A. Watt, Pascal: Action Semantics, Draft, Version 0.6, March 1993
  9. David A. Watt, Standard ML Action Semantics, Draft, Version 0.5, May 1997
  10. David A. Watt, The static and dynamic semantics of Standard ML, In IWAS '99, 2nd International Workshop on Action Semantics (ed. Mosses, P.D., and Watt, D.A.), BRICS NS-99-3, 155-172, University of Aarhus, 1999
  11. David A. Schmidt, The Structure of Typed Programming Languages, MIT Press, 1994
  12. Kyung-Goo Doh and David A. Schmidt, Extraction of strong typing laws from action semantics definitions, In ESOP'92, Proc. European Symposium on Programming, Rennes, Lecture Notes in Computer Science 582, 151-166, Springer-Verlag, 1992
  13. Kyung-Goo Doh and David A. Schmidt, Action semantics-directed prototyping, Computer Languages, 19(4): 213-233, Pergamon Press, 1993