Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS
Contenido archivado el 2024-06-10

Type systems for internet computation models

Objetivo



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.

Programa(s)

Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.

Tema(s)

Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.

Convocatoria de propuestas

Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.

Datos no disponibles

Régimen de financiación

Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.

RGI - Research grants (individual fellowships)

Coordinador

University of Strathclyde
Aportación de la UE
Sin datos
Dirección
Richmond Street 26
G1 1XH Glasgow
Reino Unido

Ver en el mapa

Coste total

Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.

Sin datos
Mi folleto 0 0