Edinburgh Research Archive

Automated program transformation through proof transformation

Files

MaddenP_1991redux.pdf (48.37 MB)

Item Status

Embargo End Date

Date

1991

Authors

Abstract

URI

http://hdl.handle.net/1842/19973

This item appears in the following Collection(s)

Informatics thesis and dissertation collection