- -

Evaluation of Datalog queries and its application to the static analysis of Java code

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Evaluation of Datalog queries and its application to the static analysis of Java code

Show full item record

Feliú Gabaldón, MA. (2010). Evaluation of Datalog queries and its application to the static analysis of Java code. http://hdl.handle.net/10251/14016.

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

Files in this item

Item Metadata

Title: Evaluation of Datalog queries and its application to the static analysis of Java code
Author:
Director(s): Villanueva García, Alicia Joubert ., Christophe Alpuente Frasnedo, María
UPV Unit: Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat
Read date / Event date:
2010
Issued date:
Abstract:
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 ...[+]
Subjects: Static analysis , Datalog , Boolean equation systems , Rewriting logic
Copyrigths: Reserva de todos los derechos
degree: Máster Universitario en Ingeniería del Software, Métodos Formales y Sistemas de Información-Màster Universitari en Enginyeria del Programari, Mètodes Formals i Sistemes d'Informació
Type: Tesis de máster

This item appears in the following Collection(s)

Show full item record