Département
Sistemas Informáticos y Computación
Articles (30) Publications auxquelles un chercheur a participé
2009
-
A Declarative Debugger for Maude Functional Modules
Electronic Notes in Theoretical Computer Science, Vol. 238, Núm. 3, pp. 63-81
-
A Logical Framework for Debugging in Declarative Constraint Programming
Electronic Notes in Theoretical Computer Science, Vol. 256, pp. 119-135
-
A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation
Electronic Notes in Theoretical Computer Science, Vol. 246, pp. 167-182
-
A Rewriting Semantics for Maude Strategies
Electronic Notes in Theoretical Computer Science, Vol. 238, Núm. 3, pp. 227-247
-
A debugging system based on natural semantics
Journal of Universal Computer Science, Vol. 15, Núm. 14, pp. 2836-2880
-
An algorithm to compute thetransitive closure, a transitive approximation and a transitive opening of a fuzzy proximity.
Mathware & soft computing: The Magazine of the European Society for Fuzzy Logic and Technology, Vol. 16, Núm. 2, pp. 175-191
-
Applying river formation dynamics to solve NP-complete problems
Studies in Computational Intelligence, Vol. 193, pp. 333-368
-
Cost Relation Systems: A Language-Independent Target Language for Cost Analysis
Electronic Notes in Theoretical Computer Science, Vol. 248, pp. 31-46
-
Decompilation of Java bytecode to Prolog by partial evaluation
Information and Software Technology, Vol. 51, Núm. 10, pp. 1409-1427
-
Formalizing interchange competences
International Journal of Cognitive Informatics and Natural Intelligence, Vol. 3, Núm. 4, pp. 54-72
-
Formally transforming user-model testing problems into implementer-model testing problems and viceversa
Journal of Logic and Algebraic Programming, Vol. 78, Núm. 6, pp. 425-453
-
From natural semantics to C: A formal derivation of two STG machines
Journal of Functional Programming, Vol. 19, Núm. 1, pp. 47-94
-
Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol
Electronic Notes in Theoretical Computer Science, Vol. 238, Núm. 3, pp. 249-266
-
Internet: libertad, identidad y seguridad
Crítica, Año 59, Núm. 959, pp. 52-58
-
Mutation testing from probabilistic and stochastic finite state machines
Journal of Systems and Software, Vol. 82, Núm. 11, pp. 1804-1818
-
Network optimization by generalized methodology
WSEAS Transactions on Circuits and Systems, Vol. 8, Núm. 8, pp. 676-685
-
On the Unification of Process Semantics: Equational Semantics
Electronic Notes in Theoretical Computer Science, Vol. 249, pp. 243-267
-
Paramodulation with well-founded orderings
Journal of Logic and Computation, Vol. 19, Núm. 2, pp. 263-302
-
Patrones de diseño: ejemplo de aplicación a los objetos de aprendizaje generativos
RED: revista de educación a distancia, Núm. 10
-
Procesamiento de Documentos XML Dirigido por Lenguajes en Entornos de E-Learning
Revista Iberoamericana de Tecnologias del Aprendizaje, Vol. 4, Núm. 3, pp. 175-183