Publicaciones en las que colabora con AGUSTIN CERNUDA DEL RIO (5)

2006

  1. A monadic program slicer

    ACM SIGPLAN Notices, Vol. 41, Núm. 5, pp. 30-38

  2. Definición de Competencias específicas y genéricas del ingeniero en informática

    Proyectos de innovación docente (Instituto de Ciencias de la Educación), pp. 249-267

2002

  1. Specification of logic programming languages from reusable semantic building blocks

    Electronic Notes in Theoretical Computer Science

2001

  1. LPS: A language prototyping system using modular monadic semantics

    Electronic Notes in Theoretical Computer Science

  2. Verifying reuse contracts with a component model

    JISBD 2001. Jornadas de ingeniería del software y bases de datos: 21 y 23 de noviembre de 2001. Almagro (Ciudad Real)