previous up next
Go backward to Explicit Definitions
Go up to Top
Go forward to Example
RISC-Linz logo

Recursive Definitions

p(x0, ..., xn-1) : <=> if C then F0 else F1
f(x0, ..., xn-1) := if C then T0 else T1

Special case of a more general rule.

Author: Wolfgang Schreiner
Last Modification: October 14, 1999

previous up next