Computer Laboratory

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.