Formal Semantics for Processing Exceptions 


Vol. 17,  No. 4, pp. 173-180, Aug.  2010
10.3745/KIPSTA.2010.17.4.173


PDF
  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
  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.

Forms

Search
(IN TITLE, AUTHOR, ABSTRACT,KEYWORDS)

Advanced Search ▼

POPULAR KEYWORDS
(TOP 10 KEYWORDS)

Recent Publications
(LAST 3 YEARS)

Old Journals

Indexing

All publications of TKIPS is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

TKIPS is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Related Journals