TY - JOUR AU - Berry, G. TI - Bottom-up computation of recursive programs JO - Revue française d'automatique informatique recherche opérationnelle. Informatique théorique PY - 1976 SP - 47 EP - 82 VL - 10 IS - R1 PB - Dunod-Gauthier-Villars PP - Paris UR - http://www.numdam.org/item/ITA_1976__10_1_47_0/ LA - en ID - ITA_1976__10_1_47_0 ER -