Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por autor "Joubert, Christophe"

Mostrando ítems 1-5 de 5

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) ...
Estrategias para la evaluación ascendente de programas Datalog con garantías de coste en tiempo y memoria

Tarín Morales, Fernando (Universitat Politècnica de València, 2011-02-08)
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 ...
Formal methods for industrial critical systems, preface to the special section

Alpuente Frasnedo, María; Joubert ., Christophe; Kowalewski, S.; Roveri, M. (Elsevier, 2013-07)

[EN] This special issue contains improved versions of selected papers from the workshops on Formal Methods for Industrial Critical Systems (FMICS) held in Eindhoven, The Netherlands, in November 2009 and in Antwerp, ...
Optimización de programas Datalog basada en estrategias

Tarín Morales, Fernando (Universitat Politècnica de València, 2012-05-14)