An Implementation of Bubbling

Details An Implementation of Bubbling An Implementation of Bubbling

2011-12-16

arxiv.org/abs/1112.3789v1

Computer Science

Programming Languages

Online Proceedings of the 11th International Colloquium on Implementation of Constraint LOgic Programming Systems (CICLOPS 201

Scientific paper

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 completeness of non-deterministic operations and avoids unnecessary large-scale reconstruction of expressions done by other approaches.

Affiliated with

Also associated with

No associations

Rating

An Implementation of Bubbling does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with An Implementation of Bubbling, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and An Implementation of Bubbling will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-136770