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:
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
No information has been submitted for this grant.
Potential use in non-academic contexts
No information has been submitted for this grant.
No information has been submitted for this grant.
Sectors submitted by the Researcher
No information has been submitted for this grant.
Project URL:  
Further Information:  
Organisation Website: http://www.swan.ac.uk