Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski pl
CORDIS - Wyniki badań wspieranych przez UE
CORDIS
Zawartość zarchiwizowana w dniu 2024-06-10

Type systems for internet computation models

Cel



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.

Dziedzina nauki (EuroSciVoc)

Program(-y)

Temat(-y)

Zaproszenie do składania wniosków

Brak dostępnych danych

System finansowania

RGI - Research grants (individual fellowships)

Koordynator

University of Strathclyde
Wkład UE
Brak danych
Adres
Richmond Street 26
G1 1XH Glasgow
Zjednoczone Królestwo
Koszt całkowity
Brak danych