EPSRC logo

Details of Grant 

EPSRC Reference: EP/I032495/1
Title: PLanCompS: Programming Language Components and Specifications
Principal Investigator: Mosses, Professor P
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Microsoft
Department: College of Science
Organisation: Swansea University
Scheme: Standard Research
Starts: 01 November 2011 Ends: 31 October 2015 Value (£): 695,781
EPSRC Research Topic Classifications:
Fundamentals of Computing
EPSRC Industrial Sector Classifications:
Information Technologies
Related Grants:
EP/I032509/1 EP/I032657/1
Panel History:
Panel DatePanel NameOutcome
15 Mar 2011 EPSRC ICT Responsive Mode - Mar 2011 Announced
Summary on Grant Application Form
The PLanCompS project aims to move the development of programming languages onto a formal, mathematically specified, basis. The idea is to specify the formal semantics of many fragments of existing programming languages in such a way that they can be plugged together like building bricks to make a complete language. As well as providing more precise specifications for existing programming languages, this modular approach will make it much easier to design reliable new programming languages by re-using tried and tested fragments. For further details see http://www.plancomps.org
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Summary
Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:  
Further Information:  
Organisation Website: http://www.swan.ac.uk