Skip to main content
Weiter zur Homepage der Europäischen Kommission (öffnet in neuem Fenster)
Deutsch de
CORDIS - Forschungsergebnisse der EU
CORDIS
Inhalt archiviert am 2024-06-10

Type systems for internet computation models

Ziel



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.

Wissenschaftliches Gebiet (EuroSciVoc)

Programm/Programme

Thema/Themen

Aufforderung zur Vorschlagseinreichung

Daten nicht verfügbar

Finanzierungsplan

RGI - Research grants (individual fellowships)

Koordinator

University of Strathclyde
EU-Beitrag
Keine Daten
Adresse
Richmond Street 26
G1 1XH Glasgow
Vereinigtes Königreich
Gesamtkosten
Keine Daten