DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Han, Dong-Soo | - |
dc.contributor.advisor | 한동수 | - |
dc.contributor.author | Jun, Woong | - |
dc.contributor.author | 전웅 | - |
dc.date.accessioned | 2011-12-30 | - |
dc.date.available | 2011-12-30 | - |
dc.date.issued | 2006 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=392656&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/55476 | - |
dc.description | 학위논문(석사) - 한국정보통신대학교 : 공학부, 2006, [ vi, 61 p. ] | - |
dc.description.abstract | Trade-off between performance and portability forces the International Standard for C to define the order of evaluation of an expression only in part and to leave occurrence of side effects within an expression unspecified. Furthermore use of ordinary English in the Standard to specify the semantics of an expression makes it very difficult to strictly discern validity of a given expression with side effects, where the validity decided by a rule written in terms of the sequence point, the concept indicating certain points within a program to guarantee occurrence of side effects. This paper proposes a new sequence point model that is based on a tagged AST for comprehension and implementation to decide whether an expression with side effects conforms to the Standard or not, and SEA (Simple Expression Analyzer), the experimental implementation of the proposed model shows that the model works well with real expressions used in various programs. | eng |
dc.language | eng | - |
dc.publisher | 한국정보통신대학교 | - |
dc.subject | C | - |
dc.subject | Expression Analysis | - |
dc.subject | Side Effect | - |
dc.subject | Sequence Point | - |
dc.subject | Standard | - |
dc.subject | 표준 | - |
dc.subject | C 언어 | - |
dc.subject | 수식 분석 | - |
dc.subject | 부작용 | - |
dc.subject | 시퀀스 포인트 | - |
dc.title | A comprehensive and algorithmical sequence point model for C programming language | - |
dc.title.alternative | 이해와 구현이 용이한 C 언어 시퀀스 포인트 모델 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 392656/225023 | - |
dc.description.department | 한국정보통신대학교 : 공학부, | - |
dc.identifier.uid | 020044570 | - |
dc.contributor.localauthor | Han, Dong-Soo | - |
dc.contributor.localauthor | 한동수 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.