EPSRC logo

Details of Grant 

EPSRC Reference: GR/L15081/01
Title: GAME SEMANTICS FOR PROGRAMMING LANGUAGES
Principal Investigator: Malacaria, Professor P
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department: Computing
Organisation: Imperial College London
Scheme: Standard Research (Pre-FEC)
Starts: 25 March 1996 Ends: 24 March 1997 Value (£): 9,710
EPSRC Research Topic Classifications:
Fundamentals of Computing
EPSRC Industrial Sector Classifications:
Related Grants:
Panel History:  
Summary on Grant Application Form
We aim to expand game semantics so as to provide mathematical models as precise as possible for key features of programming languages. We are particularly interested in the following areas - communication, local variables, polymorphism.
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.imperial.ac.uk