Type systems for internet computation models
4РП — Обучение и мобилност на изследователи
- Период
- 1997-11-01 → 2000-10-31
- Финансиране от ЕС
- —
- Участници
- 1
- Схема
- RGI
Линиите свързват координатора с партньорите.
Накратко на български
Системите от типове за езика Hippo изследват как да се описват данни, които се предават през интернет и се съхраняват трайно. Това помага за създаването на по-ефективен език за заявки в уеба и по-сигурен трансфер на информация.
Кратко обяснение, генерирано от езиков модел по текста на CORDIS. Оригиналът е по-долу.
Цел на проекта
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. "
Оригинален текст от CORDIS (на английски).
Участници
- UNIVERSITY OF STRATHCLYDE · GLASGOWКоординаторОбединеното кралство
Връзки
Данни: CORDIS, © Европейски съюз