Publicaciones en las que colabora con JOSE EMILIO LABRA GAYO (13)

2007

  1. Experiencia de trabajo de adaptación al EEES llevado a cabo por la Escuela Universitaria de Ingeniería Técnica en Informática de Oviedo

    Jornadas de intercambio de experiencias en docencia universitaria en la Universidad de Oviedo

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

  2. Reflexiones sobre el proceso de adaptación de asignaturas tras la realización de un proyecto piloto en la Escuela de Ingeniería Técnica Informática de Oviedo

    I Jornadas nacionales de intercambio de experiencias piloto de implantación de metodologías ECTS: Aplicaciones prácticas de la Convergencia Europea : Badajoz, 13, 14 y 15 de septiembre de 2006 (Servicio de Publicaciones)

2002

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

    Electronic Notes in Theoretical Computer Science

2001

  1. A language prototyping tool based on semantic building blocks

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Applying Frameworks and Object-Oriented Techniques for developing Language Processors Tools

    Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001

  3. 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

  4. Constructing language processors using object-oriented techniques

    OOIS 2000: 6th International Conference on Object Oriented Information Systems

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

    Electronic Notes in Theoretical Computer Science

  6. Modular development of interpreters from semantic building blocks

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

  7. Reusable monadic semantics of logic programs with arithmetic predicates

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

2000

  1. Improving the quality of compiler construction with object-oriented techniques

    SIGPLAN Notices (ACM Special Interest Group on Programming Languages), Vol. 35, Núm. 12, pp. 41-50

  2. Modular development of interpreters from semantic building blocks

    12th Nordic Workshop on Programming Theory