ELVIRA MARÍA
ALBERT ALBIOL
Catedrática de universidad
Universidad Politécnica de Valencia
Valencia, EspañaPublicaciones en colaboración con investigadores/as de Universidad Politécnica de Valencia (16)
2019
-
A Transformational Approach to Resource Analysis with Typed-norms Inference
Theory and Practice of Logic Programming
2014
-
A transformational approach to resource analysis with typed-norms
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2005
-
Operational semantics for declarative multi-paradigm languages
Journal of Symbolic Computation, Vol. 40, Núm. 1 SPEC. ISS., pp. 795-829
2003
-
A residualizing semantics for the partial evaluation of functional logic programs
Information Processing Letters, Vol. 85, Núm. 1, pp. 19-25
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
-
Symbolic profiling for multi-paradigm declarative languages
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
The narrowing-driven approach to functional logic program specialization
New Generation Computing, Vol. 20, Núm. 1, pp. 3-26
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)
-
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)
-
Partial evaluation of multi-paradigm declarative languages
AI Communications, Vol. 14, Núm. 4, pp. 235-237
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)
-
La enseñanza de Java en los estudios de Informática
VI Jornadas sobre la Enseñanza Universitaria de la Informática: JENUI 2000 : Libro de Comunicaciones
-
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)
1999
-
A partial evaluation framework for curry programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1998
-
Improving control in functional logic program specialization
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)