- -

Listar por autor "Feliú Gabaldón, Marco Antonio"

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

Listar por autor "Feliú Gabaldón, Marco Antonio"

Ordenar por:Orden:Resultados:

  • thumb
    Automatic inference of specifications using matching logic 
    Alpuente Frasnedo, María; Feliú Gabaldón, Marco Antonio; Villanueva García, Alicia (Association for Computing Machinery (ACM), 2013-01-21)
    Formal specifications can be used for various software engineering activities ranging from finding errors to documenting software and automatic test-case generation. Automatically discovering specifications for heap-manipulating ...
  • thumb
    Datalog-Based program analysis with BES and RWL 
    Alpuente Frasnedo, María; Feliú Gabaldón, Marco Antonio; Joubert, Christophe; Villanueva García, Alicia (Springer Verlag (Germany), 2011)
    This paper describes two techniques for Datalog query evaluation and their application to object-oriented program analysis. The first technique transforms Datalog programs into an implicit Boolean Equation System (Bes) ...
  • thumb
    Evaluation of Datalog queries and its application to the static analysis of Java code 
    Feliú Gabaldón, Marco Antonio (Universitat Politècnica de València, 2011-12-15)
    Two approaches for evaluating Datalog programs are presented: one based on boolean equation systems, and the other based on rewriting logic. The work is presented in the context of the static analysis of Java programs ...
  • thumb
    Logic-based techniques for program analysis and specification synthesis 
    Feliú Gabaldón, Marco Antonio (Universitat Politècnica de València, 2013-11-19)
    La Tesis investiga técnicas ágiles dentro del paradigma declarativo para dar solución a dos problemas: el análisis de programas y la inferencia de especificaciones a partir de programas escritos en lenguajes multiparadigma ...