TY - JOUR AU - Berry, G. TI - Bottom-up computation of recursive programs JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1976 SP - 47 EP - 82 VL - 10 IS - R1 PB - Dunod-Gauthier-Villars PP - Paris UR - http://geodesic.mathdoc.fr/item/ITA_1976__10_1_47_0/ LA - en ID - ITA_1976__10_1_47_0 ER -