| EPSRC Reference: |
GR/M08769/01 |
| Title: |
SEMANTIC-BASED SOFTWARE SUPPORT FOR CONSTRAINT LOGIC PROGRAMS |
| Principal Investigator: |
King, Professor A |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Sch of Computing |
| Organisation: |
University of Kent |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 October 1998 |
Ends: |
30 September 2001 |
Value (£): |
146,627
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The primary aim of this project is to enable more effective exploitation of the constraint logic programming paradigm. Constraint logic programming (CLP) combines the flexibility of logic with the power of search to provide high level constructs for solving computationally hard problems such as resource allocation. Its importance has been demonstrated by the increasing number of industrial applications and commercial CLP systems. What is missing from the existing CLP systems is a suite of reliable tools that aid the construction of successful CLP applications. This project will research and develop the technologies that underpin such tools.The high level and expressive nature of CLP languages make it relatively straightforward to describe a solution to a problem. However, even with an experienced user, this initial version may be very inefficient and rarely scales to deal with large data. Thus the main focus of this project is the development of tools that will analyse CLP programs and determine and advise on their expected run-time behaviour. The analysers will have a sound semantic basis with an implementation that demonstrates their effectiveness and practicality.
|
|
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.kent.ac.uk |