The Transactions of the Korea Information Processing Society (한국정보처리학회논문지)

Korea Information Processing Society (한국정보처리학회)
권호 표지

Understanding Objects : An Action Semantics Approach

액션 의미표기법을 통한 객체의 이해

  • Doh, Kyung-Goo (Dept. of Electronic computer Engineering, Hanyang University)
  • 도경구 (한양대학교 전자컴퓨터공학부)
  • Published : 2000.12.01
Download PDF
⟨ Previous Next ⟩

Abstract

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.

이 논문은 액션 의미표기법을 사용하여 객체와 그에 관련된 연산들의 의미를 정형적으로 정의한다. 액션 의미표기법은 다른 표기법에 비해서 객체연산의 계산과정을 더 명확히 표현할 수 있을 뿐만 아니라, 구현 방식에 대한 힌트도 얻을 수 있다는 장점이 있다. 이를 보여주기 위해서 Aba야-Cardelli의 시그마 계산표기법에 대한 액션 의미구조를 정의하고, 예제 프로그램을 가지고 그 의미를 전개해 본다.

Keywords

References

  1. Martin Abadi and Luca Cardelli, A Theory of Objects, Springer, 1996
  2. K. Arnold and J. Gosling, The $Java^{TM}$ Programming Language, Addison-Wesley, 1996
  3. G. Kahn, Natural semantics, In STACS'87, Lecture Notes In Computer Science 247, Springer, Berlin, pp.22-39, 1987 https://doi.org/10.1007/BFb0039592
  4. Peter D. Mosses, Action Semantics, No. 26 in Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 1992
  5. Peter Mosses, A tutorial on action semantics, Tutorial notes for FME'94 (Formal Methods Europe, Narcelona, 1994) and FME'96 (Formal Methods Europe, Oxford, 1996), March 1996
  6. 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, Vol.1113, pp.37-61, Springer-Verlag, 1996 https://doi.org/10.1007/3-540-61550-4_139
  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, May 1993
  9. Gordon Plotkin, Structural operational semantics, Report DAIMI FN-19, Aarhus University, Denmark, 1981
  10. David Schmidt, Denotational Semantics: A Methodology for Language Development, Allyn and Bacon, 1986
  11. Joseph E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, 1977
  12. David Watt, Programming Language Syntax and Semantics, Prentice-Hall, 1991
  13. David Watt, The static and dynamic semantics of Standard ML, In IWAS'99, 2nd International Workshop on Action Semantics, BRICS NS-99-3, pp.155-172, University of Aarhus, 1999
  14. David A. Watt, Standard ML Action Semantics, Draft, Version 0.5, May 1997