Javier Espert

According to our database, Javier Espert authored at least 7 papers between 2010 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

A modular order-sorted equational generalization algorithm.

María Alpuente, Santiago Escobar, Javier Espert, José Meseguer

Inf. Comput., 2014

ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance.

María Alpuente, Santiago Escobar, Javier Espert, José Meseguer

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

2013

Detecting Modular ACU Structural Symmetries.

María Alpuente, Santiago Escobar, Javier Espert

Proceedings of the 27th International Workshop on Unification, 2013

2011

Debugging of Web Applications with Web-TLR

María Alpuente, Demis Ballis, Javier Espert, Francisco Frechina, Daniel Romero

Proceedings of the Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems, 2011

Dynamic Backward Slicing of Rewriting Logic Computations

María Alpuente, Demis Ballis, Javier Espert, Daniel Romero

CoRR, 2011

Backward Trace Slicing for Rewriting Logic Theories.

María Alpuente, Demis Ballis, Javier Espert, Daniel Romero

Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

2010

Model-Checking Web Applications with Web-TLR.

María Alpuente, Demis Ballis, Javier Espert, Daniel Romero

Proceedings of the Automated Technology for Verification and Analysis, 2010