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 computational model for functional logic deductive databases

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

6. 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)

7. A monotonic higher-order semantic path ordering

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

8. 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)

9. 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)

10. Adding traces to a lazy monadic evaluator

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

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

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

    Computers and Education: towards an Interconnected Society

13. EXercita: Automatic web publishing of programming exercises

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

14. Extending the petri box calculus with time

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

15. 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)

16. Higher-precision groundness analysis

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

17. Implementation skeletons in Eden: Low-effort parallel programming

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

18. Inferring termination conditions for logic programs using backwards analysis

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

19. Ingeniería del Software: ¿basta con desarrollar proyectos o haría falta probar a implantar procesos de desarrollo a largo plazo?

    VII Jornadas de Enseñanza Universitaria de la Informática, JENUI 2001: Palma de Mallorca, del 16 al 18 de julio de 2001

20. Measuring the effectiveness of partial evaluation in functional logic languages

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