- -

Imposing Assertions in Maude via Program Transformation

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Imposing Assertions in Maude via Program Transformation

Show full item record

Alpuente Frasnedo, M.; Ballis, D.; Sapiña-Sanchis, J. (2019). Imposing Assertions in Maude via Program Transformation. MethodsX. 6:2577-2583. https://doi.org/10.1016/j.mex.2019.10.035

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

Files in this item

Item Metadata

Title: Imposing Assertions in Maude via Program Transformation
Author:
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:
Abstract:
[EN] Program transformation is widely used for producing correct mutations of a given program so as to satisfy the user's intent that can be expressed by means of some sort of specification (e.g. logical assertions, ...[+]
Subjects: Assertion enforcement , Automated program transformation , Program repair , Equational rewriting , Rewriting logic , Maude
Copyrigths: Reconocimiento (by)
Source:
MethodsX. (eissn: 2215-0161 )
DOI: 10.1016/j.mex.2019.10.035
Publisher:
Elsevier
Publisher version: https://doi.org/10.1016/j.mex.2019.10.035
Thanks:
This work has been partially supported by the EU (FEDER) and the Spanish MINECO under grant RTI2018-094403-B-C32, and by Generalitat Valenciana under grant PROMETEO/2019/098.
Type: Artículo

This item appears in the following Collection(s)

Show full item record