Details of Grant 

EPSRC Reference:	EP/C544757/1
Title:	A Unified Theory of Structured Update
Principal Investigator:	Calcagno, Dr C
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department:	Computing
Organisation:	Imperial College London
Scheme:	Advanced Fellowship (Pre-FEC)
Starts:	01 October 2005	Ends:	30 September 2011	Value (£):	274,469
EPSRC Research Topic Classifications:	Fundamentals of Computing Information & Knowledge Mgmt
EPSRC Industrial Sector Classifications:	No relevance to Underpinning Sectors
Related Grants:
Panel History:	Panel Date Panel Name Outcome 13 Apr 2005 ICT Fellowships 2005 Interview Panel Deferred 11 Mar 2005 ICT Fellowships Sift Panel 2005 Deferred
Summary on Grant Application Form
Update of data structures has played a basic role in computation, ever since Turing introduced his machines. The purpose of this fellowship is to provide a unified theory of update. However, even in specific cases update is a fundamental problem, and promising solutions are only beginning to appear. Our abstract theory will be instantiated in two key directions. One where the structured data is given by program-heap data structures and the other by XML databases. These instantiations will be investigated theoretically, and stressed by experimental language implementations. A novel spatial logic will be used to weave these strands together, and a general theory of data will be developed using either term rewriting or an algebraic approach. By the end of the project we plan to display the unifying force of our model by specification of systems comprised of components with different data structure formats, such as web servers which use, say, XML and relational database interfaces, while maintaining an internal heap.
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