Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Completeness of Unfolding for Rewriting Logic Theories
 

Summary: Completeness of Unfolding for
Rewriting Logic Theories
Mar´ia Alpuente
DSIC, Universidad Polit´ecnica de Valencia
Camino de Vera s/n, Apdo. 22012,
46071 Valencia, Spain.
Email: alpuente@dsic.upv.es
Michele Baggi, Moreno Falaschi
Dip. di Scienze Matematiche e Informatiche
Pian dei Mantellini 44,
53100 Siena, Italy.
Email: {baggi,moreno.falaschi}@unisi.it
Demis Ballis
Dip. Matematica e Informatica
Via delle Scienze 206,
33100 Udine, Italy.
Email: demis@dimi.uniud.it
Abstract--Many transformation systems for program opti-
mization, program synthesis, and program specialization are
based on fold/unfold transformations. In this paper, we investigate

  

Source: Alpuente, María - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València

 

Collections: Computer Technologies and Information Sciences