Fachbereich
Sistemas Informáticos y Computación
Kongressbeiträge (28) Publikationen, an denen Forscher/innen teilgenommen haben
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 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 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
-
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)
-
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)
-
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)
-
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
-
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)