Centre for Metacomputation
Started in 2006, this is funded by a £431K EPSRC Platform Grant and led by Abramsky, de Moor, Melham, and Ong. Metacomputation covers several fields, including logic, automated theorem proving, compiler construction, program analysis, and software engineering. The Centre aims to integrate some of these separate strands, to develop metacomputation as a field, and to provide it with solid theoretical foundations. Our approach is to conduct a programme of pilot case studies that cut across the research of the individual PIs and lead to further funding proposals. Among our achievements to date are EPSRC grants: Aspect Refactoring Tools (£546K) and Abstraction Discovery and Refinement (£175K). Scientific outcomes include the first fully abstract model for a functional language of additive aspects, arising from a study of aspect calculi semantics.