A structural operational semantics for an Edison-like language (1) |
| |
| Authors: | Wei Li |
| |
| Affiliation: | 1. Beijing Institute of Aeronautics, Beijing, China
|
| |
| Abstract: | 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. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
