The emperor's old clothes
Reads0
Chats0
TLDR
The 1980 ACM Turing Award was presented to Charles Antony Richard Hoare, Professor of Computation at the University of Oxford, England, by Walter Carlson, Chairman of the Awards Committee, at the ACM Annual Conference in Nashville, Tennessee, October 27, 1980.Abstract:
The 1980 ACM Turing Award was presented to Charles Antony Richard Hoare, Professor of Computation at the University of Oxford, England, by Walter Carlson, Chairman of the Awards Committee, at the ACM Annual Conference in Nashville, Tennessee, October 27, 1980. Professor Hoare was selected by the General Technical Achievement Award Committee for his fundamental contributions to the definition and design of programming languages. His work is characterized by an unusual combination of insight, originality, elegance, and impact. He is best known for his work on axiomatic definitions of programming languages through the use of techniques popularly referred to as axiomatic semantics. He developed ingenious algorithms such as Quichsort and was responsible for inventing and promulgating advanced data structuring techniques in scientific programming languages. He has also made important contributions to operating systems through the study of monitors. His most recent work is on communicating sequential processes. Prior to his appointment to the University of Oxford in 1977, Professor Hoare was Professor of Computer Science at The Queen's University in Belfast, Ireland, from 1968 to 1977 and was a Visiting Professor at Stanford University in 1973. From 1960 to 1968 he held a number of positions with Elliott Brothers, Ltd., England.read more
Citations
More filters
Journal ArticleDOI
Observations on the development of an operating system
TL;DR: The development of Pilot, an operating system for a personal computer, is reviewed, including a brief history and some of the problems and lessons encountered during this development, as part of understanding how Pilot and other operating systems come about.
Journal ArticleDOI
Ada and Software Development Support: A New Concept in Language Design
TL;DR: The designers of Ada were concerned with a much more important kind of structured programming: the organization of a large program into modules so that reliability, readability, and maintainability were maximized and the features of the language explicitly reflect these qualities.
Journal ArticleDOI
Automatic result verification by complete run-time checking of computations
TL;DR: It is shown that 2SP provides: functional specifications, specification-consistent imperative coordinations, automatic run-time result verification and error detection, enhanced debugging support, and good efficiency.
Journal ArticleDOI
An Annotated Bibliography of Secondary Sources on the History of Software
TL;DR: This bibliography is a product of the National Collection Strategy (NCS) program being undertaken by the Charles Babbage Institute, to develop a national collecting strategy for preserving the historic records of computing.
Journal ArticleDOI
Avant-Gardism and Landscape Architecture
TL;DR: A review of the sometimes conflicting theories of fine art avantgardism provides a useful basis for examining recently designated “avant-garde” landscape architecture as discussed by the authors, which does express a more intensive, though selective, influence from the art world, particularly from earthwork and site-specific sculpture.
References
More filters
Journal ArticleDOI
Recursive functions of symbolic expressions and their computation by machine, Part I
TL;DR: A programming system called LISP (for LISt Processor) developed for the IBM 704 computer by the Artificial Intelligence group at M.I.T. was designed to facilitate experiments with a proposed system called the Advice Taker, whereby a machine could be instructed to handle declarative as well as imperative sentences and could exhibit "common sense" in carrying out its instructions.
Book
The calculi of lambda-conversion
TL;DR: The Calculi of Lambda Conversion as discussed by the authors is a book about Lambda conversion with a focus on the Lambda transformation process, and it is available in bookstores. (AM-6)
Journal ArticleDOI
The Mechanical Evaluation of Expressions
TL;DR: It is shown how some forms of expression in current programming languages can be modelled in Church's X-notation, and a way of "interpreting" such expressions is described, which suggests a method of analyzing the things computer users write.