Rules + strategies for transforming lazy functional logic programs

This work introduces a transformation methodology for functional logic programs based on needed narrowing, the optimal and complete operational principle for modern declarative languages which integrate the best features of functional and logic programming. We provide correctness results for the tra...

Full description

Saved in:

Bibliographic Details
Published in:	Theoretical computer science Vol. 311; no. 1; pp. 479 - 525
Main Authors:	Alpuente, Marı́a, Falaschi, Moreno, Moreno, Ginés, Vidal, Germán
Format:	Journal Article
Language:	English
Published:	Amsterdam Elsevier B.V 01.01.2004 Elsevier
Subjects:	Applied sciences Computer science; control theory; systems Exact sciences and technology Functional logic programming Program transformation Programming theory Strategies Theoretical computing Program transformation Strategies Functional logic programming Frame Composition Program Methodology Transformation rule Complete Process Logical programming Properties Implementation System Functional Experimental result Language Number Substitution Length Strategy Logic Functional programming Power Canonical representation
ISSN:	0304-3975, 1879-2294
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!