- -

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

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

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

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

Mostrar el registro completo del ítem

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

Ficheros en el ítem

Thumbnail
Nombre: Marco-Antonio-Fel ...
Tamaño: 1.007Mb
Formato: PDF
Abrir/Preview

Metadatos del ítem

Título: Evaluation of Datalog queries and its application to the static analysis of Java code
Autor: Feliú Gabaldón, Marco Antonio
Director(es): Villanueva García, Alicia Joubert ., Christophe Alpuente Frasnedo, María
Entidad UPV: Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat
Fecha acto/lectura:
2010
 Fecha difusión:
Resumen:
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 ...[+]
Palabras clave: Static analysis , Datalog , Boolean equation systems , Rewriting logic
Derechos de uso: Reserva de todos los derechos
Editorial:
Universitat Politècnica de València
Titulación: 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ó
Tipo: Tesis de máster

recommendations

 

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

Mostrar el registro completo del ítem