한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)
- 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
- /
- Pages.958-960
- /
- 2005
- /
- 1598-5164(pISSN)
이해와 구현이 용이한 C 언어 시퀀스 포인트 모델
Comprehensive and Algorithmical Sequence Point Model for C
- Jun Woong (Information and Communications University) ;
- Han Dong-soo (Information and Communications University)
- 발행 : 2005.11.01
초록
이식성과 성능 사이의 타협을 위해 수식 평가 순서를 부분적으로 정의할 수 밖에 없는 C 언어는 표준이 사용하는 일반 영어의 모호성으로 일부 복잡한 수식의 유효성(validity)을 판별하기 어려운 문제를 안고 있다. 그동안 의존 관계나 언어 형식화(formalization)를 이용해 일관되게 유효성을 판별하려는 시도가 있었으나 이해와 구현 모두가 용이해야 한다는 표준의 요구를 만족하지 못했다. 본 연구에서는 구현을 고려해 AST(Abstract Syntax Tree)에 변수의 참조
키워드