Research falling under this theme includes our work in programming language design and implementation, a long-established research strength of the Laboratory. We have two research groups in this area, one focussed upon programming tools, the other upon the algebra of programming. It includes also much of our work in metacomputation, an area covering several fields, but with a particular focus upon languages and programming calculi.
