Specialization of functional logic programs based on needed narrowing

Many functional logic languages are based on narrowing, a unification-based goal-solving mechanism which subsumes the reduction mechanism of functional languages and the resolution principle of logic languages. Needed narrowing is an optimal evaluation strategy which constitutes the basis of modern...

Full description

Bibliographic Details

Published in:	Theory and practice of logic programming Vol. 5; no. 3; pp. 273 - 303
Main Authors:	ALPUENTE, MARÍA, LUCAS, SALVADOR, VIDAL, GERMÁN, HANUS, MICHAEL
Format:	Journal Article
Language:	English
Published:	Cambridge, UK Cambridge University Press 01.05.2005
Subjects:	Regular Papers functional logic programming partial evaluation needed narrowing
ISSN:	1471-0684, 1475-3081
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!