Operational approach to semantics and translation for programming languages
dc.contributor.advisor
Plotkin, Gordon
en
dc.contributor.advisor
Hennessy, Matthew
en
dc.contributor.advisor
Milner, Robin
en
dc.contributor.author
Li, Wei
en
dc.contributor.sponsor
Education Ministry of China,
en
dc.contributor.sponsor
studentship from the University of Edinburgh
en
dc.date.accessioned
2013-04-05T10:35:51Z
dc.date.available
2013-04-05T10:35:51Z
dc.date.issued
1983
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.uri
http://hdl.handle.net/1842/6636
dc.language.iso
en
dc.publisher
The University of Edinburgh
en
dc.relation.hasversion
Hennessy, M., Li, W., Plotkin, G., A first attempt at translating CSP into CCS. Proceedings of the Second International Conference on Distributed Systems, Paris, 1981.
en
dc.relation.hasversion
Hennessy, M. , Li, W., Translating Ada tasking into CCS, Proceedings of IFIP working conference, 1982.
en
dc.relation.hasversion
Li, W., An operational semantics for Ada multitasking and' exception handling, Proceedings of AdaTEC conference, Washington, 1982.
en
dc.subject
operational translation theory
en
dc.subject
concurrent programming languages
en
dc.subject
translation
en
dc.subject
syntax-directed translation
en
dc.title
Operational approach to semantics and translation for programming languages
en
dc.type
Thesis or Dissertation
en
dc.type.qualificationlevel
Doctoral
en
dc.type.qualificationname
PhD Doctor of Philosophy
en
Files
Original bundle
1 - 1 of 1
- Name:
- Li1982.pdf
- Size:
- 3.39 MB
- Format:
- Adobe Portable Document Format
- Description:
This item appears in the following Collection(s)