본문 바로가기
  • 학술저널

표지

DBpia에서 서비스 중인 논문에 한하여 피인용 수가 반영됩니다. 내서재에 논문을 담은 이용자 수의 총합입니다.

발행기관의 요청으로 개인이 구매하실 수 없습니다.

초록·키워드 목차

의미 기반 표기법은 새로운 프로그래밍 언어를 명세하여 그 언어를 구현하기 위한 정적이고 동적인 의미를 명세하는데 필요한 것이다. 프로그래밍 언어에 대한 의미를 보다 실제적으로 정의하면 그 의미에 따라 언어를 구현함으로써 번역기를 쉽게 만들 수 있다. 본 논문에서는 번역기를 쉽게 만들 수 있는 정적이고 동적인 의미를 명세 하고자 한다. 객체 지향 언어를 위한 정적이고 동적인 의미를 적절하게 명세 할 수 있도록 속성 문법을 확장하고 변형하여 실제적인 의미 기반의 작용식을 제시하였고 기존의 연구 방법과 비교하여 제시된 작용식의 의미 명세가 우월함을 알 수 있었다. #Semantics #Dynamic Semantics #Operational Semantics #Attribute Grammar #Action Equations

등록된 정보가 없습니다.

저자의 논문

DBpia에서 서비스 중인 논문에 한하여 피인용 수가 반영됩니다.
논문의 정보가 복사되었습니다.
붙여넣기 하세요.