Wiktionary
co-recursive
a. (context computing English) Describing a definition, particularly of an algorithm, given in terms of its output, rather than its input.