Correctness proofs of compilers and debuggers : an approach based on structural operational semantics
In this thesis we study the use of semantics-based formal methods in the specification and proof of correctness of compilers and debuggers. We use a Structural Operational Semantics as the basis for the specification of compilers and propose a notion of correctness based on an observational equivale...
Main Author: | |
---|---|
Published: |
University of Edinburgh
1992
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.649061 |