- -

On Unfolding Completeness for Rewriting Logic Theories

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

On Unfolding Completeness for Rewriting Logic Theories

Show full item record

Alpuente Frasnedo, M.; Baggi, M.; Ballis, D.; Falaschi, M. (2010). On Unfolding Completeness for Rewriting Logic Theories. http://hdl.handle.net/10251/8637.

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

Files in this item

Item Metadata

Title: On Unfolding Completeness for Rewriting Logic Theories
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:
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 ...[+]
Subjects: Program transformation , Rewriting logic theories
Copyrigths: Reserva de todos los derechos
Type: Informe

This item appears in the following Collection(s)

Show full item record