Theory of Programming

By the theory of programming we mean our understanding of the processes of specifying, programming and reasoning about software and hardware. This involves theories about methodologies, languages and tools. We are intending to collect and write about the development of the all these areas. Of special interest at Swansea are: data, semantics of languages for specification and programming, verification of systems.

Clearly, the theory of programming has a central and permanent place in Computer Science. But such a subject would appear to have a highly technical nature and appeal to only a specialised audience. However, this ought not to be the case!

The origins of the theory of programming lie in two centuries of speculations and technical work in philosophy, linguistics, algebra, and logic. Thus, programming - to say nothing of software development - is extraordinarily interesting intellectually for the history of science and technology.

The basis of our Collection in this area is the collection of papers, reports and theses donated by Professor Willem-Paul de Roever of Christian-Albrechts-Universität, Kiel. The de Roever Collection is focussed on semantics and verification.