On the Correctness of Pull-Tabbing

Details On the Correctness of Pull-Tabbing On the Correctness of Pull-Tabbing

2011-07-31

arxiv.org/abs/1108.0190v1

Theory and Practice of Logic Programming, vol. 11, no. 4-5, pp. 713-730, 2011

Computer Science

Programming Languages

Scientific paper

10.1017/S1471068411000263

Pull-tabbing is an evaluation approach for functional logic computations, based on a graph transformation recently proposed, which avoids making irrevocable non-deterministic choices that would jeopardize the completeness of computations. In contrast to other approaches with this property, it does not require an upfront cloning of a possibly large portion of the choice's context. We formally define the pull-tab transformation, characterize the class of programs for which the transformation is intended, extend the computations in these programs to include the transformation, and prove the correctness of the extended computations.

Affiliated with

Also associated with

No associations

Rating

On the Correctness of Pull-Tabbing 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 On the Correctness of Pull-Tabbing, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On the Correctness of Pull-Tabbing will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-703332