Folder: Syntax & Grammar - FGD's Studies. Paper: Report of the work undertaken by F.G. Duncan in three years at NPL beginning in October 1966. Folder: HOARE Axiomatics. proof of programs. Papers: The Axiomatic Method Part I & II by C.A.R. Hoare. Paper: The Axiomatic Method, Program Execution by Tony Hoare. Paper: Proof of Programs, Partition and Find by C.A.R. Hoare., April 1969. Paper: The axiomatic basis of computer programming by C.A.R. Hoare. Paper: Program Proving; Jumps and Functions by M. Clint and C.A.R. Hoare. Paper: Monitors: an Operating System Structure Concept by C.A.R. Hoare. Paper: Proof of a recursive program: quicksort by Michael Foley and C.A.R. Hoare. Paper: Towards a theory of parallel programming by C.A.R. Hoare. Paper: Incomputability by C.A.R. Hoare and D.C.S. Allison. Paper: Proof of correctness of data representations by C.A.R. Hoare. Lecture: Computer Science by C.A.R. Hoare, Queen's University of Belfast, February 1971. Folder: Syntax Directed Compiling. Report No. 172. A fast translation technique which partially optimizes the object code by C.W. Gear, Ref. COO-1469-0001. April 1965. Report No. 179. Floyd productions for ALGOL-60 by Allan W. McInnes, Ref. COO-1018-1055, May 1965. Technical Memorandum No. 64/4, An experimental syntax directed compiler for EDSAC 2 by John H. Matthewman, December 1964. RRE Memorandum No. 2586, A user's guide to syntax analysis by R.J.W. Kershaw, December 1969.