- -

Datalog-Based program analysis with BES and RWL

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Datalog-Based program analysis with BES and RWL

Show full item record

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

Files in this item

Item Metadata

Title: Datalog-Based program analysis with BES and RWL
Author:
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Issued date:
Abstract:
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) ...[+]
Subjects: Boolean equation system , Model checking , Query evaluation , Rewriting logic
Copyrigths: Reserva de todos los derechos
ISBN: 978-3-642-24205-2
Source:
Datalog Reloaded. (issn: 0302-9743 )
DOI: 10.1007/978-3-642-24206-9_1
Publisher:
Springer Verlag (Germany)
Publisher version: http://link.springer.com/chapter/10.1007/978-3-642-24206-9_1
Conference name: First International Workshop, Datalog 2010
Conference place: Oxford, UK
Conference date: March 16-19, 2010
Series: Lecture Notes in Computer Science;6702
Type: Capítulo de libro

This item appears in the following Collection(s)

Show full item record