- -

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 simple item record

Files in this item

dc.contributor.author Alpuente Frasnedo, María es_ES
dc.contributor.author Feliú Gabaldón, Marco Antonio es_ES
dc.contributor.author Joubert, Christophe es_ES
dc.contributor.author Villanueva García, Alicia es_ES
dc.date.accessioned 2014-05-21T10:44:25Z
dc.date.issued 2011
dc.identifier.isbn 978-3-642-24205-2
dc.identifier.issn 0302-9743
dc.identifier.uri http://hdl.handle.net/10251/37650
dc.description.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) that can then be solved by using linear-time complexity algorithms that are available in existing, general purpose verification toolboxes such as Cadp. In order to improve scalability and to enable analyses involving advanced meta-programming features, we develop a second methodology that transforms Datalog programs into rewriting logic (Rwl) theories. This method takes advantage of the preeminent features and facilities that are available within the high-performance system Maude, which provides a very efficient implementation of Rwl. We provide evidence of the practicality of both approaches by reporting on some experiments with a number of real-world Datalog-based analyses. © 2011 Springer-Verlag. es_ES
dc.format.extent 20 es_ES
dc.language Inglés es_ES
dc.publisher Springer Verlag (Germany) es_ES
dc.relation EU (FEDER) es_ES
dc.relation Spanish MEC/MICINN [TIN 2007-68093-C02] [TIN 2010-21062-C02-02] es_ES
dc.relation Generalitat Valenciana [gv/2009/024] es_ES
dc.relation Spanish MEC FPU [AP2008-00608] es_ES
dc.relation.ispartof Datalog Reloaded es_ES
dc.relation.ispartofseries Lecture Notes in Computer Science;6702
dc.rights Reserva de todos los derechos es_ES
dc.subject Boolean equation system es_ES
dc.subject Model checking es_ES
dc.subject Query evaluation es_ES
dc.subject Rewriting logic es_ES
dc.subject.classification CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.title Datalog-Based program analysis with BES and RWL es_ES
dc.type Capítulo de libro es_ES
dc.embargo.lift 10000-01-01
dc.embargo.terms forever es_ES
dc.identifier.doi 10.1007/978-3-642-24206-9_1
dc.rights.accessRights Abierto es_ES
dc.contributor.affiliation Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació es_ES
dc.description.bibliographicCitation 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 es_ES
dc.description.accrualMethod Senia es_ES
dc.relation.conferencename First International Workshop, Datalog 2010 es_ES
dc.relation.conferencedate March 16-19, 2010 es_ES
dc.relation.conferenceplace Oxford, UK es_ES
dc.relation.publisherversion http://link.springer.com/chapter/10.1007/978-3-642-24206-9_1 es_ES
dc.description.upvformatpinicio 1 es_ES
dc.description.upvformatpfin 20 es_ES
dc.type.version info:eu repo/semantics/publishedVersion es_ES
dc.description.volume 6702 es_ES
dc.relation.senia 210345


This item appears in the following Collection(s)

Show simple item record