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

Celý popis

Podrobná bibliografie

Vydáno v:	Theory and practice of logic programming Ročník 5; číslo 3; s. 273 - 303
Hlavní autoři:	ALPUENTE, MARÍA, LUCAS, SALVADOR, VIDAL, GERMÁN, HANUS, MICHAEL
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cambridge, UK Cambridge University Press 01.05.2005
Témata:	Regular Papers functional logic programming partial evaluation needed narrowing
ISSN:	1471-0684, 1475-3081
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!