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...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Theoretical computer science Ročník 311; číslo 1; s. 479 - 525
Hlavní autoři:	Alpuente, Marı́a, Falaschi, Moreno, Moreno, Ginés, Vidal, Germán
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Amsterdam Elsevier B.V 01.01.2004 Elsevier
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!