Mostrar el registro sencillo del ítem
dc.contributor.author | Alpuente Frasnedo, María | |
dc.contributor.author | Baggi, Michele | |
dc.contributor.author | Ballis, Demis | |
dc.contributor.author | Falaschi, Moreno | |
dc.date.accessioned | 2010-10-04T13:52:54Z | |
dc.date.available | 2010-10-04T13:52:54Z | |
dc.date.issued | 2010-10-04 | |
dc.identifier.uri | http://hdl.handle.net/10251/8637 | |
dc.description.abstract | Many transformation systems for program optimization, program synthesis, and program specialization are based on fold/unfold transformations. In this paper, we investigate the semantic properties of a narrowing-based unfolding transformation that is useful to transform rewriting logic theories. We also present a transformation methodology that is able to determine whether an unfolding transformation step would cause incompleteness and avoid this problem by completing the transformed rewrite theory with suitable extra rules. More precisely, our methodology identifies the sources of incompleteness and derives a set of rules that are added to the transformed rewrite theory in order to preserve the semantics of the original theory. | 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 | Program transformation | en_EN |
dc.subject | Rewriting logic theories | en_EN |
dc.title | On Unfolding Completeness for Rewriting Logic Theories | es_ES |
dc.type | Informe | 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ó | |
dc.description.bibliographicCitation | Alpuente Frasnedo, M.; Baggi, M.; Ballis, D.; Falaschi, M. (2010). On Unfolding Completeness for Rewriting Logic Theories. http://hdl.handle.net/10251/8637 | es_ES |