Understanding Objects ; An Action Semantics Approach


The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 7, No. 12, pp. 3976-3985, Dec. 2000
10.3745/KIPSTE.2000.7.12.3976,   PDF Download:

Abstract

This article uses action semantics to formally specify the meaning of objects and their related operations. The action-semantics framework, compared to others, is able to not only express object-oriented computation steps more clearly, but also provide a hint on how to implement them. As a showcase, an action semantics of a variant of Abadi-Cardelli''s -calculus is defined. Then we use an example program to show how to derive the meaning.


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]
K. G. Doh, "Understanding Objects ; An Action Semantics Approach," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 7, no. 12, pp. 3976-3985, 2000. DOI: 10.3745/KIPSTE.2000.7.12.3976.

[ACM Style]
Kyung Goo Doh. 2000. Understanding Objects ; An Action Semantics Approach. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 7, 12, (2000), 3976-3985. DOI: 10.3745/KIPSTE.2000.7.12.3976.