Type systems for internet computation models

Project Information

Grant agreement ID: FMBI972130

Project closed

Start date 1 November 1997

End date 31 October 2000

Funded under

• Specific research and technological development programme in the field of the training and mobility of researchers, 1994-1998

Total cost No data

EU contribution No data

Coordinated by

University of Strathclyde
United Kingdom

Objective

The context of this project is a larger research project, recently started at the University of Glasgow and led by Dr Richard Connor, entitled "Hippo: High- level Internet Programming with Persistent Objects". The aims of Hippo are twofold: firstly, to investigate semantic issues in the design of a language suitable for querying the World-Wide Web, and secondly to integrate existing persistent systems technology into the same domain to support the transfer of high-level typed data using the same widely-available transmission protocols. The project envisaged for this studentship is a starting point for the research fields mentioned above. The project concerns the design of type systems constructs suitable to describe a high-level typed language (Hippo Core Language) which provides an embedded internet semantics and integrates orthogonal persistence and the Web.

Fields of science

• natural sciences › computer and information sciences › internet

Programme(s)

• FP4-TMR - Specific research and technological development programme in the field of the training and mobility of researchers, 1994-1998

Topic(s)

• 0302 - Post-doctoral research training grants
• TM30 - Databases and Information Systems

Call for proposal

Data not available

Funding Scheme

RGI - Research grants (individual fellowships)

Coordinator

University of Strathclyde

• EU contribution: No data
• Address: Richmond Street 26 ; G1 1XH Glasgow ; United Kingdom
• Total cost: No data