EPSRC logo

Details of Grant 

EPSRC Reference: GR/T22872/01
Title: CONTRACTS: CONcept assignment To Raise the abstrACTion level of Slicing
Principal Investigator: Gold, Dr N
Other Investigators:
Harman, Professor M Hierons, Professor R
Researcher Co-Investigators:
Project Partners:
DaimlerChrysler Knowledge Software Ltd
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:
Software Engineering
EPSRC Industrial Sector Classifications:
Information Technologies
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: