- 객체 지향 언어를 위한 의미 명세
- ㆍ 저자명
- 한정란,Han. Jung-Lan
- ㆍ 간행물명
- 인터넷정보학회논문지
- ㆍ 권/호정보
- 2007년|8권 5호|pp.35-43 (9 pages)
- ㆍ 발행정보
- 한국인터넷정보학회
- ㆍ 파일정보
- 정기간행물| PDF텍스트
- ㆍ 주제분야
- 기타
의미 기반 표기법은 새로운 프로그래밍 언어를 명세하여 그 언어를 구현하기 위한 정적이고 동적인 의미를 명세하는데 필요한 것이다. 프로그래밍 언어에 대한 의미를 보다 실제적으로 정의하면 그 의미에 따라 언어를 구현함으로써 번역기를 쉽게 만들 수 있다. 본 논문에서는 번역기를 쉽게 만들 수 있는 정적이고 동적인 의미를 명세 하고자 한다. 객체 지향 언어를 위한 정적이고 동적인 의미를 적절하게 명세 할 수 있도록 속성 문법을 확장하고 변형하여 실제적인 의미 기반의 작용식을 제시하였고 기존의 연구 방법과 비교하여 제시된 작용식의 의미 명세가 우월함을 알 수 있었다.
Semantics-based notations need to be used for specification of static and dynamic semantics to specify and implement new programming language. If the semantics is practically defined, we easily gain a translator according to the implementation of the semantics. In this paper, we describe the static and dynamic semantics to get a translator easily. We present practical semantics-based Action Equations, an extension and transformation of Attribute Grammar(AGs) suitable for specifying the static and dynamic semantics of a object oriented programming language. Compare with the existing descriptions, Action Equations is superior, modernized, and accurate.