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

Uložené v:
Podrobná bibliografia
Vydané v:Journal of symbolic computation Ročník 45; číslo 5; s. 501 - 522
Hlavný autor: Antoy, Sergio
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Elsevier Ltd 01.05.2010
Predmet:
Functional logic programming
Narrowing
Program design
Program design
Narrowing
Functional logic programming
ISSN:0747-7171, 1095-855X
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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 programmer’s viewpoint; shows, by means of examples, when, why and how to use narrowing in a program; and discusses the impact of narrowing on software development activities such as design and maintenance. The examples are coded in the programming language Curry, which provides narrowing as a first class feature.
ISSN:0747-7171
1095-855X
DOI:10.1016/j.jsc.2010.01.006