- -

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 sencillo del ítem

Ficheros en el ítem

Thumbnail
Nombre: Marco-Antonio-Fel ...
Tamaño: 1.007Mb
Formato: PDF
Abrir
dc.contributor.advisor Villanueva García, Alicia es_ES
dc.contributor.advisor Joubert ., Christophe es_ES
dc.contributor.advisor Alpuente Frasnedo, María es_ES
dc.contributor.author Feliú Gabaldón, Marco Antonio es_ES
dc.date.accessioned 2011-12-15T13:42:41Z
dc.date.available 2011-12-15T13:42:41Z
dc.date.created 2010
dc.date.issued 2011-12-15
dc.identifier.uri http://hdl.handle.net/10251/14016
dc.description.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 specified in Datalog. es_ES
dc.format.extent 85 es_ES
dc.language Inglés es_ES
dc.publisher Universitat Politècnica de València es_ES
dc.rights Reserva de todos los derechos es_ES
dc.subject Static analysis es_ES
dc.subject Datalog es_ES
dc.subject Boolean equation systems es_ES
dc.subject Rewriting logic es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.subject.other 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ó es_ES
dc.title Evaluation of Datalog queries and its application to the static analysis of Java code es_ES
dc.type Tesis de máster es_ES
dc.rights.accessRights Abierto es_ES
dc.contributor.affiliation Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat es_ES
dc.description.bibliographicCitation 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 es_ES
dc.description.accrualMethod Archivo delegado es_ES


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

Mostrar el registro sencillo del ítem