Modelling implementations as institution morphisms

  1. Domínguez, Carlos
  2. Lambán Pardo, Laureano
  3. Pascual Ayats, Víctor
  4. Rubio Alonso, Juan
Livre:
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.)

Éditorial: Universidad de Castilla-La Mancha

Année de publication: 2001

Pages: 229-240

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

Type: Communication dans un congrès