| EPSRC Reference: |
GR/M81953/01 |
| Title: |
ADVANCED REDEX TRAILS: FULLY-FLEDGED TRACING TECHNOLOGY FOR FUNCTIONAL PROGRAMS |
| Principal Investigator: |
Runciman, Professor C |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
University of York |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 March 2000 |
Ends: |
31 May 2002 |
Value (£): |
210,351
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
Parallel Computing |
| Software Engineering |
|
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
In many fields, high expectations of Information Technology are now limited in practice only by current methods of developing computer software. Declarative programming systems in general, and functional languages in particular, have an important part to play in an improved software technology. These languages free programmers form the need to express specific sequences of calculation. They also provide powerful ways of directly combining component functions. They are inherently sager than programming languages now in widespread use, and dramatically more concise.However, the very high-level nature of functional languages poses two big problems: (1) how to turn programs into efficient computations; (2) how to trace programming errors from the faults they cause. Since the mid 1980s, problem (1) has been a popular target of research, and excellent progress has been made with it: there are optimising compilers for functional languages. But problem (2) has received less attention, and in practical terms it remains open. The lack of tracing tools is a long-standing gap in functional-language technology, deterring potential users.I therefore propose a decisive attack on the tracing problem for functional programs. My aim is to advance a successful but limited prototype, recently developed with ROPA funding, to the stage of a convincing tool for practical application.
|
|
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.york.ac.uk |