The theory of interacting deductions and its application to operational semantics
This thesis concerns the problem of complexity in operational semantics definitions. The appeal of modern operational semantics is the simplicity of their metatheories, which can be regarded as theories of deduction about certain shapes of operational judgments. However, when applied to real program...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
University of Edinburgh
1996
|
| Subjects: | |
| Online Access: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561669 |