Complutense Group on Program Analyis and Transformation
COSTA
Universidad Politécnica de Valencia
Valencia, EspañaPublicaciones en colaboración con investigadores/as de Universidad Politécnica de Valencia (23)
2021
-
A unified framework for declarative debugging and testing
Information and Software Technology, Vol. 129
2019
-
A Transformational Approach to Resource Analysis with Typed-norms Inference
Theory and Practice of Logic Programming
-
A core Erlang semantics for declarative debugging
Journal of Logical and Algebraic Methods in Programming, Vol. 107, pp. 1-37
2018
-
Declarative debugging of concurrent Erlang programs
Journal of Logical and Algebraic Methods in Programming, Vol. 101, pp. 22-41
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)
2013
-
A declarative debugger for sequential Erlang programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012
-
SAT modulo linear arithmetic for solving polynomial constraints
Journal of Automated Reasoning, Vol. 48, Núm. 1, pp. 107-131
2009
-
Solving non-linear polynomial arithmetic via SAT modulo linear arithmetic
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
-
Recursive path orderings can be context-sensitive
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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