| EPSRC Reference: |
GR/K93877/01 |
| Title: |
TECHNIQUES OF REAL NUMBER COMPUTATION |
| Principal Investigator: |
Edalat, Professor A |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computing |
| Organisation: |
Imperial College London |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
11 July 1996 |
Ends: |
10 October 1996 |
Value (£): |
4,804
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
P. Gianantonio will use the operational semantics of PCF extended with the continuous domain of intervals to develop operational semantics for his language which is an extension of PCF with an algebraic domain for reals. He will also collaborate to develop techniques for defining functions without using the parallel conditional, and to consider real number computation in second order lambda calculus or logical frameworks such as Martin-Lof's Type theory.V. Mennisier-Morain will help to develop algorithms for elementary and Transcendental functions in PCF extended with the continuous domain of real intervals.
|
|
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 |