Details of the group, whose work is centred around mathematical models of a variety of languages and logics. Includes a list of members, and local resources.
Random site Quote:
Theory and Semantics Group
The work of the Theory and Semantics Group is centred round mathematical models
of a variety of languages and logics. These models are intended to be
for clarifying programming concepts, as a basis for specification and
for analysing the complexity of computations. We
For more detailed information about website content visit the original website, please...
Details of the group interested in ideas around the general theme of implementing algorithms efficiently, reliably and in manner likely to permit further development. Includes details of group members and projects, and a list of students.
Random site Quote:
Cambridge Programming Research Group
The Cambridge Programming Research Group is interested in ideas around the general theme of implementing algorithms efficiently, reliably and in manner likely to permit further development. This explicitly includes research relating to: programming language
For more detailed information about website content visit the original website, please...