REDUCTIVITY

Authors
DOORNBOS H BACKHOUSE R
Citation
H. Doornbos et R. Backhouse, REDUCTIVITY, Science of computer programming, 26(1-3), 1996, pp. 217-236
Citations number
12
Categorie Soggetti
Computer Sciences","Computer Science Software Graphycs Programming
Journal title
Science of computer programming → ACNP
ISSN journal
01676423
Volume
26
Issue
1-3
Year of publication
1996
Pages
217 - 236
Database
ISI
SICI code
0167-6423(1996)26:1-3<217:R>2.0.ZU;2-6
Abstract
The notion of reductivity of a relation with respect to a datatype is introduced and related to inductivity and initiality. The use of reduc tivity in constructing terminating programs is discussed. A calculus o f reductivity, discussed in more detail in a companion paper, is intro duced.