Saila
Sistemas Informáticos y Computación
Argitalpenak (39) Ikertzaileren baten partaidetza izan duten argitalpenak
2001
-
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
-
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
-
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
-
A UML-integrated test description language for component testing
Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)
-
A case study in abstraction using E-LOTOS and the FireWire
Computer Networks, Vol. 37, Núm. 3-4, pp. 481-502
-
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)
-
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
-
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)
-
A monotonic higher-order semantic path ordering
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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)
-
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)
-
Adding traces to a lazy monadic evaluator
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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
-
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
-
Constraint Logic Programming with Hereditary Harrop formulas
Theory and Practice of Logic Programming, Vol. 1, Núm. 4, pp. 409-445
-
EXercita - A System for Archiving and Publishing Programming Exercises
Computers and Education: towards an Interconnected Society
-
EXercita: Automatic web publishing of programming exercises
Proceedings of the Conference on Integrating Technology into Computer Science Education, ITiCSE
-
Extending the petri box calculus with time
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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)
-
Higher-precision groundness analysis
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)