Evaluation strategies for functional logic programming

Recent advances in the foundations and the implementations of functional logic programming languages originate from far-reaching results on narrowing evaluation strategies. Narrowing is a computation similar to rewriting which yields substitutions in addition to normal forms. In functional logic pro...

Celý popis

Podrobná bibliografie

Vydáno v:	Journal of symbolic computation Ročník 40; číslo 1; s. 875 - 903
Hlavní autor:	Antoy, Sergio
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Ltd 01.07.2005
Témata:	Constructor-based rewrite systems Definitional trees Evaluation strategies Functional logic programming Narrowing Narrowing Constructor-based rewrite systems Evaluation strategies Definitional trees Functional logic programming
ISSN:	0747-7171, 1095-855X
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!