Llamado de procedimientos a distancia y abstracción de tipos - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :

Llamado de procedimientos a distancia y abstracción de tipos

Abstract

En este artículo estudiamos la relación entre el llamado de procedimientos a distancia (RPC) y los lenguajes con tipaje estático y abstracción de tipos. En particular, mostramos como explotar la información de tipos afin de reducir el tiempo de transmisión de datos a través de la red. Con este propósito, desarrollamos una formalisación simple que describe la generación automática de interfaces eficientes de comunicación. Terminamos nuestro estudio con una prueba de corrección que muestra la equivalencia entre la evaluación local y la evaluación distribuída de todo programa.
Fichier principal
Vignette du fichier
rpc-abstract-types.pdf (171.6 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01499967 , version 1 (01-04-2017)

Identifiers

  • HAL Id : hal-01499967 , version 1

Cite

Maria-Virginia Aponte, Xavier Leroy. Llamado de procedimientos a distancia y abstracción de tipos. 20th CLEI PANEL latino-american computer science conference, Aug 1994, Mexico, México. pp.1281-1292. ⟨hal-01499967⟩
106 View
57 Download

Share

Gmail Facebook Twitter LinkedIn More