Use this URL to cite or link to this record in EThOS:
Title: An operational approach to semantics and translation for programming languages
Author: Li, Wei
ISNI:       0000 0001 3609 4828
Awarding Body: University of Edinburgh
Current Institution: University of Edinburgh
Date of Award: 1983
Availability of Full Text:
Access from EThOS:
Access from Institution:
The problems of semantics and translation for concurrent programming languages are studied in this thesis. A structural operational approach is introduced to specify the semantics of parallelism and communication. Using this approach, semantics for the concurrent programming languages CSP (Hoare's Communicating Sequential Processes), multitasking and exception handling in Ada, Brinch-Hansen's Edison and CCS (Milner's Calculus of Communicating Systems) are defined and some of their properties are studied. An operational translation theory for concurrent programming languages is given. The concept of the correctness of a translation is formalised, the problem of composing transitions is studied and a composition theorem is proved. A set of sufficient conditions for proving the correctness of a translation is given. A syntax-directed translation from CSP to CCS is given and proved correct. Through this example the proof techniques of this approach is demonstrated. Finally, as an application of operational semantics and translation, a proposal for implementing multitasking in Ada is given via a two-step syntax-directed translation.
Supervisor: Plotkin, Gordon ; Hennessy, Matthew ; Milner, Robin Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available
Keywords: operational translation theory ; concurrent programming languages ; translation ; syntax-directed translation