The Potential Use of Action Semantics in Standards

Authors

  • Peter D. Mosses
  • David A. Watt

DOI:

https://doi.org/10.7146/dpb.v15i206.7557

Abstract

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.

Author Biographies

Peter D. Mosses

David A. Watt

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

No. 206 (1986): PB-206 The Potential Use of Action Semantics in Standards

Section

Articles

License

Creative Commons License

Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.