Cambridge Programming Research Group
Introduction
The Cambridge Programming Reserarch Group is a sub-group of the Programming, Logic, and Semantics group at the Computer Laboratory. Research in the CPRG is primarily in the areas of programming languages, compilers, and analysis, attempting to bridge the gap between theory and application.
Selected publications give a flavour of recent research themes in the CPRG.