Sistemas Informáticos y Computación

2007

1. A Sharing Analysis for SAFE

   TRENDS IN FUNCTIONAL PROGRAMMING, VOL 7

2. A brief introduction to THOTL

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

3. A formal environment for describing negotiation capabilities

   Proceedings of the 6th IEEE International Conference on Cognitive Informatics, ICCI 2007

4. A formal methodology to test complex heterogeneous systems

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

5. A higher-order demand-driven narrowing calculus with definitional trees

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

6. A new generic scheme for functional logic programming with constraints

   Higher-Order and Symbolic Computation

7. A simple rewrite notion for call-time choice semantics

   PPDP'07: Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

8. Agrega-plataforma de objetos digitales educativos

   CEUR Workshop Proceedings

9. All about maude - A high-performance logical framework how to specify, program and verify systems in rewriting logic

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

10. An abstract interpretation toolkit for μcRL

    Formal Methods in System Design

11. CGR: A tool for programming using schemes

    Proceedings - International Computer Software and Applications Conference

12. Challenges in Satisfiability Modulo Theories

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

13. Christiansen Grammar evolution for the modelling of psychological processes

    5th International Industrial Simulation Conference 2007, ISC 2007

14. Comparing alternative evaluation strategies for stream-based parallel functional languages

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

15. Computing locus equations for standard dynamic geometry environments

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

16. Cost analysis of Java bytecode

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

17. Declarative debugging of missing answers in constraint functional-logic programming

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

18. Distributed applications implemented in maude with parameterized skeletons

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

19. First steps on using openMath to add proving capabilities to standard dynamic geometry systems

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

20. Formal specification of multi-agent systems by using EUSMs

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