Bottom-up computation of recursive programs G. Berry R.A.I.R.O. Informatique théorique, 10 R1 (1976) 47-82 Published online: 01 February 2017 DOI: 10.1051/ita/197610R100471