Programming with narrowing: A tutorial

Narrowing is a computation implemented by some declarative programming languages. Research in the last decade has produced significant results on the theory and foundation of narrowing, but little has been published on the use of narrowing in programming. This paper introduces narrowing from a progr...

Celý popis

Podrobná bibliografie

Vydáno v:	Journal of symbolic computation Ročník 45; číslo 5; s. 501 - 522
Hlavní autor:	Antoy, Sergio
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Ltd 01.05.2010
Témata:	Functional logic programming Narrowing Program design Program design Narrowing 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!