- -

Datalog-Based program analysis with BES and RWL

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

Compartir/Enviar a

Citas

Estadísticas

Datalog-Based program analysis with BES and RWL

Mostrar el registro completo del ítem

Alpuente Frasnedo, M.; Feliú Gabaldón, MA.; Joubert, C.; Villanueva García, A. (2011). Datalog-Based program analysis with BES and RWL. En Datalog Reloaded. Springer Verlag (Germany). 6702:1-20. doi:10.1007/978-3-642-24206-9_1.

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/37650

Ficheros en el ítem

Metadatos del ítem

Título: Datalog-Based program analysis with BES and RWL
Autor:
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
Resumen:
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) ...[+]
Palabras clave: Boolean equation system , Model checking , Query evaluation , Rewriting logic
Derechos de uso: Reserva de todos los derechos
ISBN: 978-3-642-24205-2
Fuente:
Datalog Reloaded. (issn: 0302-9743 )
DOI: 10.1007/978-3-642-24206-9_1
Editorial:
Springer Verlag (Germany)
Versión del editor: http://link.springer.com/chapter/10.1007/978-3-642-24206-9_1
Título del congreso: First International Workshop, Datalog 2010
Lugar del congreso: Oxford, UK
Fecha congreso: March 16-19, 2010
Serie: Lecture Notes in Computer Science;6702
Patrocinador:
EU (FEDER)
Spanish MEC/MICINN [TIN 2007-68093-C02] [TIN 2010-21062-C02-02]
Generalitat Valenciana [gv/2009/024]
Spanish MEC FPU [AP2008-00608]
Tipo: Capítulo de libro

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem