Interactive Programming by Example
Interactive Programming by Example THÈSE NO 7956 (2017) PRÉSENTÉE LE 28 SEPTEMBRE 2017 À LA FACULTÉ INFORMATIQUE ET COMMUNICATIONS LABORATOIRE D'ANALYSE ET DE RAISONNEMENT AUTOMATISÉS PROGRAMME DOCTORAL EN INFORMATIQUE ET COMMUNICATIONS ÉCOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE POUR L'OBTENTION DU GRADE DE DOCTEUR ÈS SCIENCES PAR Mikaël MAYER acceptée sur proposition du jury: Prof. P. Dillenbourg, président du jury Prof. V. Kunčak, directeur de thèse Prof. M. Vechev, rapporteur Prof. R. Chugh, rapporteur Prof. M. Odersky, rapporteur Suisse 2017 Celui qui pose une question He who asks a question aura l’air stupide cinq minutes. may look stupid for five minutes. Celui qui ne pose pas de question He who asks no questions restera stupide toute sa vie. will remain stupid all his life. Proverbe chinois Chinese proverb To my lovely wife Marion who listened to me and gave me encouraging advice, To my son Leoban for whom I want to be an interactive example, To my parents Laurent and Christine who encouraged me to start this thesis, To my brothers and sister – with whom I always share good times, To my grandparents, my extended family, nephews, uncles, aunts, sisters-in-law, To humanity, and even all living beings. Acknowledgements I thank the members of the jury for their time in preparing the defense of this thesis. For the people I indirectly worked with, and whose conversations undoubtedly had an influence on my research, I would like to thank Philippe Suter, Eva Darulova, Giuliano Losa, Regis Blanc, Etienne Kneuss, Manos Koukoutos, Georg Schmid, Romain Edelmann, Daniel Lupei, Romain Rütschi and Ted Hart.
[Show full text]