Mostrar el registro sencillo del ítem

dc.contributor.author	Alpuente Frasnedo, María	es_ES
dc.contributor.author	Ballis, D.	es_ES
dc.contributor.author	Sapiña Sanchis, Julia	es_ES
dc.date.accessioned	2018-04-12T07:27:50Z
dc.date.available	2018-04-12T07:27:50Z
dc.date.issued	2018-04-12
dc.identifier.uri	http://hdl.handle.net/10251/100268
dc.description.abstract	In this paper, we present a novel transformation method for Maude programs featuring both automatic program diagnosis and correction. The input of our method is a reference specification A of the program behavior that is given in the form of assertions together with an overly general program R whose execution might violate the assertions. Our technique translates R into a refined program R' in which every computation is a computation in R that satisfies the assertions of A. Our correction technique is first formalized for topmost rewrite theories, and then we generalize it to larger rewrite theories that support nested structured configurations. Our technique copes with infinite space states and does not require the knowledge of any failing run. We report experiments that assess the effectiveness of assertion-driven correction.	es_ES
dc.description.sponsorship	This work has been partially supported by the EU (FEDER) and the Spanish MINECO under grants TIN2015-69175-C4-1-R, and by Generalitat Valenciana ref. PROMETEOII/2015/013	es_ES
dc.format.extent	40	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	Asertion checking	es_ES
dc.subject	Program repair	es_ES
dc.subject	Program transformation	es_ES
dc.subject	Rewriting logic	es_ES
dc.subject	Equational rewriting	es_ES
dc.subject	Maude	es_ES
dc.subject.classification	LENGUAJES Y SISTEMAS INFORMATICOS	es_ES
dc.title	Static Correction of Maude Programs with Assertions	es_ES
dc.type	Informe	es_ES
dc.relation.projectID	info:eu-repo/grantAgreement/MINECO//TIN2015-69175-C4-1-R/ES/SOLUCIONES EFECTIVAS BASADAS EN LA LOGICA/	es_ES
dc.relation.projectID	info:eu-repo/grantAgreement/GVA//PROMETEOII%2F2015%2F013/ES/SmartLogic: Logic Technologies for Software Security and Performance/	es_ES
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.; Ballis, D.; Sapiña Sanchis, J. (2018). Static Correction of Maude Programs with Assertions. Universitat Politècnica de València. http://hdl.handle.net/10251/100268	es_ES
dc.type.version	info:eu-repo/semantics/submittedVersion	es_ES
dc.contributor.funder	Generalitat Valenciana	es_ES

Ficheros en el ítem

Descargar (901.5Kb)

Static Correcti...ions.pdf

PDF

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

• Informes técnicos de investigación DSIC-ELP [15]
  ELP: Extensiones de la Programación Lógica (Extensions of Logic Programming)

Mostrar el registro sencillo del ítem