Informática
Facultad
José
Merseguer
Publicaciones en las que colabora con José Merseguer (37)
2023
-
The Maude strategy language
Journal of Logical and Algebraic Methods in Programming, Vol. 134
2022
-
Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2020
-
Programming and symbolic computation in Maude
Journal of Logical and Algebraic Methods in Programming, Vol. 110
2018
-
Associative unification and symbolic reasoning modulo associativity in maude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016
-
Built-in variant generation and unification, and their applications in Maude 2.7
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010
-
Algebraic simulations
Journal of Logic and Algebraic Programming, Vol. 79, Núm. 2, pp. 103-143
2009
-
A Rewriting Semantics for Maude Strategies
Electronic Notes in Theoretical Computer Science, Vol. 238, Núm. 3, pp. 227-247
-
Unification and narrowing in maude 2.4
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2008
-
A Rewriting semantics for Maude strategies
Electronic Notes in Theoretical Computer Science
-
Algebraic Stuttering Simulations
Electronic Notes in Theoretical Computer Science, Vol. 206, Núm. C, pp. 91-110
-
Equational abstractions
Theoretical Computer Science, Vol. 403, Núm. 2-3, pp. 239-264
2007
-
All about maude - A high-performance logical framework how to specify, program and verify systems in rewriting logic
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Deduction, Strategies, and Rewriting
Electronic Notes in Theoretical Computer Science, Vol. 174, Núm. 11 SPEC. ISS., pp. 3-25
-
Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
Theoretical Computer Science, Vol. 373, Núm. 1-2, pp. 70-91
2005
-
A categorical approach to simulations
Lecture Notes in Computer Science
-
A verification logic for rewriting logic
Journal of Logic and Computation, Vol. 15, Núm. 3, pp. 317-352
-
Theoroidal maps as algebraic simulations
Lecture Notes in Computer Science
-
Towards a strategy language for Maude
Electronic Notes in Theoretical Computer Science
2004
-
Reflection in membership equational logic, many-sorted equational logic, horn logic with equality, and rewriting logic
Electronic Notes in Theoretical Computer Science
2003
-
Equational abstractions
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)