- -

Listar por autor "Espert Real, Javier"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por autor "Espert Real, Javier"

Ordenar por:Orden:Resultados:

  • thumb
    A Modular Order-sorted Equational Generalization Algorithm 
    Alpuente Frasnedo, María; Escobar Román, Santiago; Espert Real, Javier; Meseguer, José (Elsevier, 2014-04)
    Generalization, also called anti-unification, is the dual of unification. Given terms t and t , a generalizer is a term t of which t and t are substitution instances. The dual of a most general unifier (mgu) is that of ...
  • thumb
    ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance 
    Alpuente Frasnedo, María; Escobar Román, Santiago; Espert Real, Javier; Meseguer, José (Springer, 2014)
    Computing generalizers is relevant in a wide spectrum of automated reasoning areas where analogical reasoning and inductive inference are needed. The ACUOS system computes a complete and minimal set of semantic generalizers ...
  • thumb
    ACUOS: A System for Order-Sorted Modular ACU Generalization 
    Espert Real, Javier (Universitat Politècnica de València, 2013-02-06)
    [ES] La generalización, también denominada anti-unificación, es la operación dual de la unificación. Dados dos términos t y t' , un generalizador es un término t'' del cual t y t' son instancias de sustitución. El concepto ...
  • thumb
    Debugging of Web Applications with Web-TLR 
    Alpuente Frasnedo, María; Espert Real, Javier; Frechina Navarro, Francisco; Romero, Daniel Omar; Ballis, Demis (Open Publishing Association, 2011)
    [EN] Web-TLR is a Web verification engine that is based on the well-established Rewriting Logic--Maude/LTLR tandem for Web system specification and model-checking. In Web-TLR, Web applications are expressed as rewrite ...
  • thumb
    Growth and Nutrient Efficiency of Meagre (Argyrosomus regius, Asso, 1801) fed Extruded Diets with Different Protein and Lipid levels 
    Martínez Llorens, Silvia; Espert Real, Javier; Moya Salvador, Vicente Javier; Jover Cerdá, Miguel; Tomás Vidal, Ana (Academic Journals, 2011)
    [EN] Four commercial diets containing different levels of crude protein and crude lipid (44/25, 43/21, 46/20 and 47/20%) were assayed in duplicated groups in juvenile meagre (Argyrosomus regius) (initial individual ...
  • thumb
    Verificación de aplicaciones web dinámicas con Web-TLR 
    Espert Real, Javier (Universitat Politècnica de València, 2011-07-20)
    Web-TLR is a software tool designed for model-checking Web applications that is based on rewriting logic. Web applications are expressed as rewrite theories that can be formally verified by using the Maude built-in LTLR ...