Operational approach to semantics and translation for concurrent programming languages
dc.contributor.author
Li, Wei
en
dc.date.accessioned
2013-06-26T14:01:11Z
dc.date.available
2013-06-26T14:01:11Z
dc.date.issued
1982
dc.description.abstract
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.
en
dc.identifier.other
331651
dc.identifier.uri
http://hdl.handle.net/1842/7297
dc.language.iso
eng
dc.publisher
University of Edinburgh
en
dc.subject
Computer
en
dc.subject
software
en
dc.title
Operational approach to semantics and translation for concurrent programming languages
en
dc.title.alternative
An operational approach to semantics and translation for concurrent programming languages
en
dc.type.qualificationname
PhD Doctor of Philosophy
en
Files
Original bundle
1 - 1 of 1
- Name:
- 331651.pdf
- Size:
- 10.74 MB
- Format:
- Adobe Portable Document Format
This item appears in the following Collection(s)