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

2006

  1. 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. Comparación de técnicas de especificación semántica de lenguajes de programación

    SISOFT 2001 : Simposio Iberoamericano de Sistemas de Información e Ingeniería del Software en la Sociedad del Conocimiento

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

    Electronic Notes in Theoretical Computer Science

  3. Modular development of interpreters from semantic building blocks

    Nordic Journal of Computing, Vol. 8, Núm. 3, pp. 391-407

  4. Reusable monadic semantics of logic programs with arithmetic predicates

    APPIA-GULP-PRODE'2001 : Joint Conference on Declarative Programming