Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
1 Introduction Safe Folding/Unfolding with Conditional
 

Summary: ?
?
f g
1
2
3
1 2 3 1
Abstract.
1 Introduction
unfolding
folding
Safe Folding/Unfolding with Conditional
Narrowing
M. Alpuente and M. Falaschi and G. Moreno and G. Vidal
The problem of integration of functional and logic programming is an important
challenge for research in declarative programming (see [15] for a recent survey).
A functional logic program can be seen as a Conditional Term Rewriting System
(CTRS for short), i.e. a set of conditional equations where the equation in the
conclusion is implicitly oriented from left to right. Functional logic languages
obtain the power of logic variables, automatic search and constraint solving from

  

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

 

Collections: Computer Technologies and Information Sciences