Dear Spiral user, We’re pleased to introduce Helix, https://helix.imperial.ac.uk/ Imperial’s new repository for research datasets. Please use Helix for all future dataset deposits. There is no change to Spiral -continue depositing as usual. For queries, contact the Research Data Management team at rdm-enquiries@imperial.ac.uk. Kind regards, the Spiral Team.
 
The pragmatic formalization of computing systems relative to a given high-level language
File(s)
Author(s)
Cooke, Derek John
Type
Thesis
Version
Open Access
Date Issued
1976
Date Awarded
1976
URI
Copyright Statement
Attribution NoDerivatives 4.0 International Licence (CC BY-ND)
License URL
Creator
Cooke, Derek John
Publisher Department
Department of Computing Science
Publisher Institution
Imperial College London
Qualification Level
Doctoral
Qualification Name
Doctor of Philosophy (PhD)
Author Permission
Not granted