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!
Popis
Shrnutí: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 transformation system w.r.t. the set of computed values and answer substitutions and show that the prominent properties of needed narrowing—namely, the optimality w.r.t. the length of derivations and the number of computed solutions—carry over to the transformation process and the transformed programs. We illustrate the power of the system by taking on in our setting two well-known transformation strategies ( composition and tupling). We also provide an implementation of the transformation system which, by means of some experimental results, highlights the potentiality of our approach.
Bibliografie:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISSN:0304-3975
1879-2294
DOI:10.1016/j.tcs.2003.10.033