Summary: 



An Automatic Composition Algorithm for

Functional Logic Programs



Mar'ia Alpuente1, Moreno Falaschi2, Gin'es Moreno3, and Germ'an Vidal1

1 DSIC, UPV, Camino de Vera s/n, 46022 Valencia, Spain. alpuente@dsic.upv.es
2Dip. Mat. e Informatica, U. Udine, 33100 Udine, Italy. falaschi@dimi.uniud.it
3 Dep. Inform'atica, UCLM, 02071 Albacete, Spain. gmoreno@info-ab.uclm.es



Abstract. Functional logic languages with a complete operational se-
mantics are based on narrowing, which combines the instantiation of

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

Collections: Computer Technologies and Information Sciences