Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications from 1969

Authors               TitleYear
Emeritus Professor Cliff Jones
A comparison of two approaches to language definition as bases for the construction of proofs1969
A Hybrid Navigation System, Radio Aid Computer Programming Study; report at the end of the second year1969
Professor Brian Randell
A Note on Storage Fragmentation and Program Segmentation1969
Emeritus Professor Cliff Jones
A proof of the correctness of an interpreter based on axiom schema1969
Emeritus Professor Cliff Jones
A proof of the correctness of some optimising techniques1969
Professor Brian Randell
Dynamic Instruction Scheduling1969
Formalism in Computer System Design: Models of Parallelism and Concurrency1969
Professor Brian Randell
Interacting Sequential Processes1969
Professor Brian Randell
Software Engineering: Report of a conference sponsored by the NATO Science Committee, Garmisch, Germany, 7th-11th October 19681969
Dr Kenneth Wright
Some relationships Between Implicit Runge-Kutta, Collocation and Lanczos & Methods and their Stability Properties1969
12