- -

Static Correction of Maude Programs with Assertions

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by


Static Correction of Maude Programs with Assertions

Show full item record

Alpuente Frasnedo, M.; Ballis, D.; Sapiña Sanchis, J. (2018). Static Correction of Maude Programs with Assertions. http://hdl.handle.net/10251/100268

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

Files in this item

Item Metadata

Title: Static Correction of Maude Programs with Assertions
Author: Alpuente Frasnedo, María Ballis, D. Sapiña Sanchis, Julia
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Issued date:
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 ...[+]
Subjects: Asertion checking , Program repair , Program transformation , Rewriting logic , Equational rewriting , Maude
Copyrigths: Reserva de todos los derechos
Universitat Politècnica de València
Project ID:
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
Type: Informe

This item appears in the following Collection(s)

Show full item record