You are about to access our book library "Program synthesis, what for ? (Rapports de recherche. Université Paris-Sud. Centre d'Orsay. Laboratoire de recherche en informatique) full version" .