Formal Semantics for Processing Exceptions


The KIPS Transactions:PartA, Vol. 17, No. 4, pp. 173-180, Aug. 2010
10.3745/KIPSTA.2010.17.4.173,   PDF Download:

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.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
J. L. Han, "Formal Semantics for Processing Exceptions," The KIPS Transactions:PartA, vol. 17, no. 4, pp. 173-180, 2010. DOI: 10.3745/KIPSTA.2010.17.4.173.

[ACM Style]
Jung Lan Han. 2010. Formal Semantics for Processing Exceptions. The KIPS Transactions:PartA, 17, 4, (2010), 173-180. DOI: 10.3745/KIPSTA.2010.17.4.173.