The Potential Use of Action Semantics in Standards
DOI:
https://doi.org/10.7146/dpb.v15i206.7557Abstract
Current standards for programming languages generally use informal, rather than formal, semantic descriptions. Possible reasons for this are discussed. Action Semantics, which has been developed from Denotational Semantics and Abstract Semantic Algebras, has some features that may make it more attractive for use in standards than other formal approaches. This paper describes and motivates Action Semantics, and gives some realistic examples of its use.Downloads
Published
1986-03-01
How to Cite
Mosses, P. D., & Watt, D. A. (1986). The Potential Use of Action Semantics in Standards. DAIMI Report Series, 15(206). https://doi.org/10.7146/dpb.v15i206.7557
Issue
Section
Articles
License
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.