ALBERTO DE LA
ENCINA VARA
Profesor contratado doctor
RICARDO VICENTE
PEÑA MARÍ
Profesor emérito
Publicaciones en las que colabora con RICARDO VICENTE PEÑA MARÍ (3)
2003
-
Formally Deriving an STG Machine
Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
2002
-
Proving the correctness of the STG machine
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2001
-
A Proof of Correctness for the STG Machine
Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001