Publisher's Synopsis
A collection of papers in the fields of programming languages, formal methods, and parallelism. Includes non-technical and general remarks on the nature of computing science and computer programming, background notes on each subject, and a listing of subsequent developments in the field. The author is a professor at Oxford University and a Fellow o