Browse > Article
http://dx.doi.org/10.3745/KIPSTA.2010.17A.4.173

Formal Semantics for Processing Exceptions  

Han, Jung-Lan (협성대학교 경영정보학과)
Publication Information
The KIPS Transactions:PartA / v.17A, no.4, 2010 , pp. 173-180 More about this Journal
Abstract
To specify a formal semantics is to do a significant part for design, standardization and translation of programming languages. The existing studies of a formal semantics for Java have a weak point to describe a clear and practical semantics for an efficient translation. It is necessary to do research for a formal semantics to specify a static and dynamic semantics clearly in order to do an efficient translation. This paper presents the improved Action Equation that specifies a formal semantics for Java to extend the research using Action Equation. The Action Equation is a practical and accurate specification that describes object-oriented programming features and handles exceptions. The specified Action Equation is compared to other descriptions, in terms of readability, modularity, extensibility, and flexibility and then we verified that Action Equation is superior to other formal semantics.
Keywords
Formal Semantics; Action Equation; Specification of Semantics; Specification of Exception Handling;
Citations & Related Records
Times Cited By KSCI : 3  (Citation Analysis)
연도 인용수 순위
1 한정란, "객체 지향 언어를 위한 의미 명세", 인터넷정보학회논문지, 제8권 5호, pp.35-43, 2007.   과학기술학회마을
2 한정란, 최성 "동적 의미 분석에 의한 점진 해석기 구축", 인터넷정보학회논문지, 제5권 6호, pp.111-120, 2004.   과학기술학회마을
3 한정란, 최성, "작용 식 기반 통합 점진 해석 시스템 구축", 정보처리학회논문지, Vol.11-A, No.3, 2004.   과학기술학회마을   DOI   ScienceOn
4 한정란, JAVA 기초부터 활용까지, 21세기사, 2007.
5 Jim Davies, David Faitelson and James Welch, Domain-specific Semantics and Data Refinement of Object Models, Electronic Notes in Theoretical Computer Science 195, pp.151-170, 2008.   DOI   ScienceOn
6 Ana Paula Ludtke Ferreira and Leila Ribeiro, A Graph-based Semantics For Object-oriented Programming Constructs, Electronic Notes in Theoretical Computer Science 122, pp.89-104, 2005.   DOI   ScienceOn
7 Yingzhou Zhang and Baowen Xu, "A Survey of Semantic Description Frameworks for Programming Languages," ACM SIGPLAN Notices Vol.39(3), Mar, 2004.
8 J. Alves-Foss, editor. Formal Syntax and Semantics of Java, Vol.1523 of Lecture Notes in Computer Science. Springer-Verlag.
9 David A. Watt and Deryck F. Brown, "Formalising the Dynamic Semantics of Java," 2006.