Descrip.

RESUMEN

En este artículo estudiamos la relación entre el llamado de procedimientos a distancia (RPC) y los lenguajes con tipajes estáticos y abstracción de tipos en particular, mostramos cómo explotar la información de tipos a fin de reducir el tiempo de transmisión de datos a través de la red. Con este próposito, desarrollamos una formalizació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 evaliuación local y la evaluación distribuida de todo programa.