THE FORMAL SEMANTICS OF COMPUTER LANGUAGES AND THEIR IMPLEMENTATIONS
Robert Milne
Abstract
This monograph is a copy of a doctoral dissertation submitted to Cambridge University. It is distributed by the Programming Research Group as Photocopy PRG-X13, and is also available as Programming Research Group Technical Microfiche TCF-2.
Institution
OUCL
Number
PRGX13
Pages
349
Year
1974