BIBCYT http://bibcyt.ucla.edu.ve/cgi-win/be_alex.exe?Ultimo&Nombrebd=BIBCYT UCLA - Biblioteca de Ciencias y Tecnologia Felix Morales Bueno Leroy, Xavier xavier_leroy@inria.fr P Principal Formal Verification of a Realistic Compiler July 1, 2009 pp. 107-115 Llamado de Procedimientos a Distancia y Abstracción de Tipos http://bibcyt.ucla.edu.ve/cgi-win/be_alex.exe?Acceso=T070300011820&Nombrebd=BIBCYT <P>RESUMEN</P> <P>En este artículo estudiamos la relación entre el llamado de procedimientos a distancia (RPC) y los lenguajes con tipajes estáticos...