Sistemas Informáticos y Computación

2008

1. A Gentle Introduction to Mutual Recursion

   ITICSE '08: PROCEEDINGS OF THE 13TH ANNUAL CONFERENCE ON INNOVATION AND TECHNOLOGY IN COMPUTER SCIENCE EDUCATION

2. A Rewriting semantics for Maude strategies

   Electronic Notes in Theoretical Computer Science

3. A comparative study of STOPA and RTPA

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

4. A debugger for parallel haskell dialects

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

5. A declarative debugger for Maude

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

6. A declarative debugger for Maude functional modules

   Electronic Notes in Theoretical Computer Science

7. A formal methodology to specify hierarchical agent-based systems

   SITIS 2008 - Proceedings of the 4th International Conference on Signal Image Technology and Internet Based Systems

8. A fully CPU-implemented rigid body simulator

   GRAPP 2008 - Proceedings of the 3rd International Conference on Computer Graphics Theory and Applications

9. A gentle introduction to mutual recursion

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

10. A hierarchy of equivalences for probabilistic processes

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

11. A lightweight combination of semantics for non-deterministic functions

    18th Workshop on Logic-based methods in Programming Environments, WLPE 2008

12. A practical type analysis for verification of modular prolog programs

    Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

13. A theoretical framework for the declarative debugging of datalog programs

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

14. A tool for teaching interactions between design patterns

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

15. A type system for safe memory management and its proof of correctness

    PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

16. A write-based solver F or SAT modulo the theory of arrays

    Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design, FMCAD

17. ACABARASE: An anti-spam case-based reasoning system

    3rd International Conference on Systems, ICONS 2008

18. Agrega - Spanish education community federation of repositories of learning objects

    MCCSIS'08 - IADIS Multi Conference on Computer Science and Information Systems; Proceedings of e-Learning 2008

19. An algorithm to compute the transitive closure, A transitive approximation and a transitive opening of a proximity

    World Scientific Proceedings Series on Computer Engineering and Information Science 1; Computational Intelligence in Decision and Control - Proceedings of the 8th International FLINS Conference

20. An instructor's guide to design Web-based algorithm animations

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