Summary:  *
Specialization of Inductively Sequential Functional Logic Programs



Mar'ia Alpuentey Michael Hanusz Salvador Lucasy Germ'an Vidaly

yDSIC, UPV, Camino de Vera s/n, 46022 Valencia, Spain. {alpuente,slucas,gvidal*
*}@dsic.upv.es
z Informatik II, RWTH Aachen, D-52056 Aachen, Germany. hanus@informatik.rwth-*
*aachen.de



Abstract data Nat = 0 | S Nat

Functional logic languages combine the operationalaprin-ndftheioperatorn6e::dNa*
*tb!yNatt!hBoolwhicheisfde-ollowing equations:
ciples of the most important declarative programming
paradigms, namely functional and logic programming. In- 0 6 n = True

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

Collections: Computer Technologies and Information Sciences