Journal of Computer Science and Technology ›› 1986, Vol. 1 ›› Issue (1): 51-60.

Previous Articles     Next Articles

A Structural Operational Semantics for an Edison-like Language (1)

Li Wei   

  1. Beijing Institute of Aeronautics, Beijing, China
  • Received:1983-06-07 Online:1986-01-10 Published:2022-01-20

A structural operational semantics for Edison. 1—an Edison-like language—is given. The static and dynamic (operational) semantics for various declarations and statements contained in this type of languages have been carefully studied by using a structural operational approach. The method used here can be generalised to cover more complicated concurrent programming languages.

The paper is divided into two parts. In the first part, an abstract syntax of Edison. 1 is introduced and the static semantics of it is studied. In the second part, an operational (dynamic) semantics of Edison. 1 is given.



[1] Brinch-Hansen P., Edison—a multiprocessor language,Software—Practice and Experience,11(1981).
[2] M. Gordon, The denotational description of programming languages, Springer-Verlag, 1979.
[3] C.A.R. Hoare, To wards a theory of parallel programming in “Operating System Techniques”, Academic Press, New York, 1972.
[4] W. Li, An operational semantics for Ada multitasking and exception handling, Proceedings of Ada TEC Conference, Washington, 1982.
[5] W. Li, An operational approach to semantics and translation for concurrent programming languages, Ph. D. Thesis, Edinborgh, 1982.
[6] G. Plotkin, A structural approach to operational semantics, Aarbus University, 1981.
[7] G. Plotkin, An operational semantics for CSP, Proceedings of IFIP Working Conference, 1982.
[8] J. Stoy, Denotational semantics: the scott-strachey approach to programming language theory, MIT Press, 1977.
[9] R.D. Tennent, Principles of programming languages Prentice-Hall, 1981.
[10] P. Brinch-Hansen, Operating System Principles, Prentice-Hall, 1973.
No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!

ISSN 1000-9000(Print)

         1860-4749(Online)
CN 11-2296/TP

Home
Editorial Board
Author Guidelines
Subscription
Journal of Computer Science and Technology
Institute of Computing Technology, Chinese Academy of Sciences
P.O. Box 2704, Beijing 100190 P.R. China
Tel.:86-10-62610746
E-mail: jcst@ict.ac.cn
 
  Copyright ©2015 JCST, All Rights Reserved