Javier Espert

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Topics

Object Oriented Languages

Recognition Algorithm

Top Venues

Publications

María Alpuente, Santiago Escobar, Javier Espert, José Meseguer
ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance. JELIA (2014)
María Alpuente, Santiago Escobar, Javier Espert, José Meseguer
A modular order-sorted equational generalization algorithm. Inf. Comput. 235 (2014)
María Alpuente, Santiago Escobar, Javier Espert
Detecting Modular ACU Structural Symmetries. UNIF@RTA/TLCA (2013)
María Alpuente, Demis Ballis, Javier Espert, Daniel Romero
Backward Trace Slicing for Rewriting Logic Theories. CADE (2011)
María Alpuente, Demis Ballis, Javier Espert, Francisco Frechina, Daniel Romero
Debugging of Web Applications with Web-TLR WWV (2011)
María Alpuente, Demis Ballis, Javier Espert, Daniel Romero
Dynamic Backward Slicing of Rewriting Logic Computations CoRR (2011)
María Alpuente, Demis Ballis, Javier Espert, Daniel Romero
Model-Checking Web Applications with Web-TLR. ATVA (2010)