Sistemas Informáticos y Computación

2001

1. A Comparison between three Non-determinism Analyses in a Parallel-Functional Language

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

2. A Demand Driven Strategy for Lazy Narrowing with Multisets

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

3. A Proof of Correctness for the STG Machine

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

4. A UML-integrated test description language for component testing

   Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

5. A case study in abstraction using E-LOTOS and the FireWire

   Computer Networks, Vol. 37, Núm. 3-4, pp. 481-502

6. A computational model for functional logic deductive databases

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

7. A general framework for lazy functional logic programming with algebraic polymorphic types

   Theory and Practice of Logic Programming, Vol. 1, Núm. 2, pp. 185-245

8. A higher-order logic programming language with constraints

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

9. A monotonic higher-order semantic path ordering

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

10. A practical partial evaluator for a multi-paradigm declarative language

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

11. A testing theory for generally distributed stochastic processes

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

12. Adding traces to a lazy monadic evaluator

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

13. Aproximación numérica de trenzas algebraicas

    EACA 2001 : 7 Encuentro de álgebra computacional y aplicaciones: del 12 al 14 de septiembre de 2001, Ezcaray, La Rioja

14. Consideraciones sobre la enseñanza de la Programacion en estudios Universitarios de Estadistica e Investigacoon Operativa

    Novática: Revista de la Asociación de Técnicos de Informática, Núm. 153, pp. 44

15. Constraint Logic Programming with Hereditary Harrop formulas

    Theory and Practice of Logic Programming, Vol. 1, Núm. 4, pp. 409-445

16. EXercita - A System for Archiving and Publishing Programming Exercises

    Computers and Education: towards an Interconnected Society

17. EXercita: Automatic web publishing of programming exercises

    Proceedings of the Conference on Integrating Technology into Computer Science Education, ITiCSE

18. Extending the petri box calculus with time

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

19. Functional logic programming with failure: A set-oriented view

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

20. Higher-precision groundness analysis

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