On the correctness of pull-tabbing

Pull-tabbing is an evaluation approach for functional logic computations, based on a graph transformation recently proposed, which avoids making irrevocable nondeterministic choices that would jeopardize the completeness of computations. In contrast to other approaches with this property, it does no...

Full description

Bibliographic Details

Published in:	Theory and practice of logic programming Vol. 11; no. 4-5; pp. 713 - 730
Main Author:	ANTOY, SERGIO
Format:	Journal Article
Language:	English
Published:	Cambridge, UK Cambridge University Press 01.07.2011
Subjects:	Cloning Completeness Computation Graphs Logic Logic programming Regular Papers Transformations graph rewriting pull-tabbing functional logic programming nondeterminism
ISSN:	1471-0684, 1475-3081
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!