Instituto de Tecnología del Conocimiento (ITC)
Centro/Instituto
![Foto de Instituto de Tecnología del Conocimiento (ITC)](/img/uploaded/0537A1CB55770E7FE3E05B6931EDA813.jpg)
![Foto de Kiel University](/img/noimage_org.png)
Kiel University
Kiel, AlemaniaPublicaciones en colaboración con investigadores/as de Kiel University (6)
2005
-
Operational semantics for declarative multi-paradigm languages
Journal of Symbolic Computation, Vol. 40, Núm. 1 SPEC. ISS., pp. 795-829
2002
-
An operational semantics for declarative multi-paradigm languages
Electronic Notes in Theoretical Computer Science
-
Operational semantics for functional logic languages
Electronic Notes in Theoretical Computer Science
2001
-
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)
2000
-
Improving functional logic programs by difference-lists
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Using an abstract representation to specialize functional logic programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)