RiuNet repositorio UPV
:
Listar por palabra clave

Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Boolean equation systems"

Mostrando ítems 1-1 de 1

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 ...

Mostrando ítems 1-1 de 1