| 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: |
|
| 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 |