현재 위치
Home
LL과 LR에서의 효율적인 수식 타입 체킹에 대한 연구
A Research on the Efficient Type-Checking for an Expression Using LL and LR
-
- 발행기관
- 국제인공지능학회(구 한국인터넷방송통신학회) 바로가기
-
- 간행물
- 한국인터넷방송통신학회 논문지 KCI 등재 바로가기
-
- 통권
- 제11권 제1호 (2011.02)바로가기
-
- 페이지
- pp.177-184
-
- 저자
-
- 언어
- 한국어(KOR)
-
- URL
- https://www.earticle.net/Article/A139785
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
원문정보
초록
- 영어
- One of the methodologies for the type-checking of an expression is the attribute grammar. But this attribute grammar is difficult to write because two attributes should be used with the full understanding of parsing steps. So this paper proposes a methodology to construct an expression attribute grammar easily. It shows the possibility to check the type of an expression with only one attribute through a grammar construction method.
- 한국어
- 수식의 자료형 확인을 위하여 많이 사용하는 방법의 하나가 속성문법이다, 그런데 이 속성문법은 구성하기가 어려운 단점이 있다. 파싱 과정을 잘 이해하고 속성문법의 두 개의 속성들을 사용하여야 하기 때문이다. 그래서 본 논문에서는 이 수식 속성문법의 구성을 보다 쉽게 하기 위한 방법을 제시한다. 문법 구성을 통하여 하나의 속성만으로 수식의 자료형 확인이 가능함을 보여준다.
목차
요약
Abstract
I. 수식과 속성문법
II. 수식을 위한 속성문법
III. 본 논문에서의 수식 문법 구성 방법
IV. 결정적 LL의 경우
V. 결론
참고문헌
키워드
수식 파싱 속성문법 상속속성 합성속성 형변형 type checking LL LR저자
간행물 정보
발행기관
-
- 발행기관명
- 국제인공지능학회(구 한국인터넷방송통신학회) [The International Association for Artificial Intelligence]
- 설립연도
- 2000
- 분야
- 공학>전자/정보통신공학
- 소개
- 인터넷방송, 인터넷 TV , 방송 통신 네트워크 및 관련 분야에 대한 국내는 물론 국제적인 학술, 기술의 진흥발전에 공헌하고 지식 정보화 사회에 기여하고자 한다.
간행물
-
- 간행물명
- 한국인터넷방송통신학회 논문지 [The Journal of the Institute of Internet, Broadcasting and Communication]
- 간기
- 격월간
- pISSN
- 2289-0238
- eISSN
- 2289-0246
- 수록기간
- 2001~2025
- 십진분류
- KDC 326 DDC 380
이 권호 내 다른 논문 / 한국인터넷방송통신학회 논문지 제11권 제1호
피인용수 : 0건 (자료제공 : 네이버학술정보)
함께 이용한 논문 이 논문을 다운로드한 분들이 이용한 다른 논문입니다.
출처 : 네이버학술정보
0개의 논문이 장바구니에 담겼습니다.