An Implementation of Bubbling [article]

Abdulla Alqaddoumi, Enrico Pontelli
2011 arXiv   pre-print
Non-determinism is of great importance in functional logic programming. It provides expressiveness and efficiency to functional logic computations. In this paper we describe an implementation of the multi-paradigm functional logic language Curry. The evaluation strategy employed by the implementation is based on definitional trees and needed narrowing for deterministic operations, while non-deterministic operations will depend on the graph transformation, bubbling. Bubbling preserves the
more » ... eness of non-deterministic operations and avoids unnecessary large-scale reconstruction of expressions done by other approaches.
arXiv:1112.3789v1 fatcat:q6bduregvzaxdaeqt3zvbmujti