EPSRC logo

Details of Grant 

EPSRC Reference: GR/R04430/01
Title: Reasoning With Names and Identity In Programming Languages
Principal Investigator: Stark, Dr I
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department: Sch of Informatics
Organisation: University of Edinburgh
Scheme: Standard Research (Pre-FEC)
Starts: 27 March 2001 Ends: 26 October 2004 Value (£): 63,625
EPSRC Research Topic Classifications:
Fundamentals of Computing
EPSRC Industrial Sector Classifications:
Information Technologies
Related Grants:
Panel History:  
Summary on Grant Application Form
The proposed research aims to refine and extend some existing methods for reasoning about programming languages that combine imperative and functional features. These extension are in two complementary directions: towards applicability, through implementation in an automatic theorem prover; and towards other language paradigms, looking specifically at first-class objects with private variables.The methods proposed are distinctive in their use of relations, rather than simple equivalence between code fragments. This allows for reasoning about programs that use different internal algorithms to achieve the same visible effect.Such work aids the design for reasoning about full-scale programming languages, by providing a sound basis for annotation and assertion languages. It also supports the development of optimising compilers for high-level languages, that analyse effects and interference to condense code.The research will be carried out by the principal investigator in collaboration with a requested PhD student.
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.ed.ac.uk