A Proof of Correctness for the STG Machine

  1. Encina Vara, Alberto de la
  2. Peña Marí, Ricardo
Libro:
Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001
  1. Orejas Valdés, Fernando (ed. lit.)
  2. Cuartero Gómez, Fernando (ed. lit.)
  3. Cazorla López, Diego (ed. lit.)

Editorial: Universidad de Castilla-La Mancha

Año de publicación: 2001

Páginas: 33-48

Congreso: Jornadas sobre Programación y Lenguajes (1. 2001. Almagro)

Tipo: Aportación congreso

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet