Results


Some techniques for proving correctness of programs which alter data structures

Classics

We will extend Floyd's proof system for flow diagrams to handle commands Which process lists. McCarthy and Painter (1967) deal with arrays by introducing'change' and'access' functions so as to write a[i]: a[j] 1 as a: change (a, i, access 24 BURSTALL King (1969) in mechanising Floyd's technique gives a method for such assignments which, however, introduces case analysis that sometimes becomes unwieldy. Let us recall briefly the technique of Floyd (1967) for proving correctness of programs in flow diagram form. We will here retain the inductive method of Floyd for dealing with flow diagrams containing loops, but give methods for coping with more complex kinds of assignment command.


A look at biological and machine perception

Classics

Although it is convenient for experimental purposes to think of perception in stimulus-response terms, the immense contribution of stored data, required for prediction, makes us see perception as largely cognitive. Although there must be physiological mechanisms to carry out the cognitive logical processes, of generalising and selecting stored data, the concepts we need for understanding what the physiology is carrying out are not part of physiology. This makes parallel processing convenient for biological computing, and serial computing more convenient for man-made computers. If so, biological perception seems to demonstrate powers of parallel processing, while computers demonstrate very different powers of serial processing.


Natural language question-answering systems: 1969

Classics

In the meantime, Chomsky (1965) devised a paradigm for linguistic analysis that includes syntactic, semantic, and phonological components to account for the generation of natural language statements. This theory can be interpreted to imply that the meaning of a sentence can be represented as a semantically interpreted deep structure--i.e, From computer science's preoccupation with formal programming languages and compilers, there emerged another paradigm. The adoption and combination of these two new paradigms have resulted in a vigorous new generation of language processing systems characterized by sophisticated linguistic and logical processing of well-defined formal data structures. These included a social-conversation machine, systems that translated from English into limited logical calculi, and programs that attempted to answer questions from English text.


Visual identification of people by computer

Classics

Abstract: The thesis describes a computer program which performs a complex picture processing task. The task is to choose, from a collection of pictures of people taken by a TV camera, those pictures that depict the same person. The primary purpose of this research has been directed toward the development of new techniques for picture processing.


To what extent can administration be mechanized?

Classics

Mr. J. H. H. Merriman was educated at King's College School, Wimbledon, and King's College, University of London. in 1935 and did Postgraduate Research at King's College London obtaining his M.Sc. We are, therefore, likely to see in the immediate future a movement away from the concept of single purpose automatic data processing installations to installations or systems of installations which, in the first placeT, will be multi--purpose and, in due course, integrated. If we are, therefore, to imagine large complex multipurpose integrated data processing system, we must imagine them to be serviced, to an increasing extent, by separate installations which will analyse the operations of the integrated system, determine the most appropriate operating conditions and which will, to some extent, relieve the burden of programming by automatic access to inbuilt programming routines.