Publicaciones en las que colabora con JUAN MANUEL CUEVA LOVELLE (10)

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