| EPSRC Reference: |
GR/T22872/01 |
| Title: |
CONTRACTS: CONcept assignment To Raise the abstrACTion level of Slicing |
| Principal Investigator: |
Gold, Dr N |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
Kings College London |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
07 February 2005 |
Ends: |
06 June 2008 |
Value (£): |
381,347
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Program slicing is an excellent source code extraction technique, but its full potential cannot be realized because, as currently formulated, the criterion for extraction is expressed at too low a level of abstraction. This project aims to raise the level of abstraction of the slicing criterion from the source code level to the domain level. The CONTRACTS project will make it possible to use a high level, domain-orientated criterion to automatically extract a fully executable subprogram. The sub-program may be syntactically, arbitrarily scattered throughout a large program. To achieve this, a new theory of slicing will be developed together with algorithms for slicing according to the new high level criteria. Radically changing the way in which slicing criteria are constructed will allow the user to have all the advantages of slicing - the extraction of an executable subprogram --- together with a means of expressing the semantics to be extracted at a suitably high level of abstraction.
|
|
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: |
|