Details of Grant 

EPSRC Reference:	GR/S46710/01
Title:	Topological Models for Computational Metalanguages
Principal Investigator:	Simpson, Professor A
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department:	Sch of Informatics
Organisation:	University of Edinburgh
Scheme:	Standard Research (Pre-FEC)
Starts:	01 October 2003	Ends:	30 September 2006	Value (£):	215,308
EPSRC Research Topic Classifications:	Fundamentals of Computing
EPSRC Industrial Sector Classifications:	No relevance to Underpinning Sectors
Related Grants:
Panel History:
Summary on Grant Application Form
This basic research will establish a new notion of domain for use in the denotational semantics of programming languages. The new notion of domain has a simple definition using elementary concepts from topology. We shall demonstrate the ability of such topological domains to model an unprecedented variety of computational features in combination, thus resolving known problems arising in conventional domain theory.Applications of denotational semantics are, in general, facilitated through the provision of computational metalanguages : theoretically tractable idealized programming languages into which other more realistic languages can be translated. We shall exploit the flexibility of topological domains by using them to model powerful computational metalanguages exhibiting interesting and novel syntactic and operational features.
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.ed.ac.uk