- -

Listar por palabra clave "Boolean equation system"

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

Listar por palabra clave "Boolean equation system"

Ordenar por:Orden:Resultados:

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