RiuNet repositorio UPV
:
Listar por palabra clave

Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Datalog"

Mostrando ítems 1-3 de 3

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 ...
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 ...
Optimización de programas Datalog basada en estrategias

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

Mostrando ítems 1-3 de 3