The Complexity of Finite Memory Programs with Recursion.

Neil D. Jones Steven S. Muchnick

Published in: J. ACM (1978)

Keyphrases

memory requirements
finite number
memory usage
computational complexity
computational cost
deductive databases
data sets
expert systems
answer sets
computational power
computing power
programming environment
fixpoint
automatic programming
memory size