Llamado de procedimientos a distancia y abstracción de tipos

Résumé : 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.
Type de document :
Communication dans un congrès
20th CLEI PANEL latino-american computer science conference, Aug 1994, Mexico, México. pp.1281-1292
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01499967
Contributeur : Xavier Leroy <>
Soumis le : samedi 1 avril 2017 - 19:36:46
Dernière modification le : mardi 13 novembre 2018 - 17:10:03
Document(s) archivé(s) le : dimanche 2 juillet 2017 - 12:56:56

Fichier

rpc-abstract-types.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01499967, version 1

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

142

Téléchargements de fichiers

29