URI http://ori.unit-c.fr/uid/unit-ori-wf-1-7601 L’avènement de la synthèse de programme fre La notion de programme est au centre de l'informatique : c'est l'intermédiaire entre l'utilisateur et la machine, le moyen par lequel un humain peut communiquer à la machine des opérations à effectuer pour réaliser une tâche de manière automatique. Les langages de programmation facilitent cette communication : il en existe une très grande variété chacun adapté aux tâches envisagées, par exemple pour créer un site internet, mettre différents ordinateurs en réseau, ou contrôler un drone. Il n'en reste pas moins qu'écrire un programme est une tâche difficile : non seulement elle est coûteuse en temps et en énergie, elle requiert à la fois une expertise en programmation et une compréhension fine de la tâche à réaliser. synthèse de programme apprentissage automatique langage de programmation spécifications programme LOMv1.0 atomic LOMv1.0 1 LOMv1.0 texte LOMv1.0 image LOMv1.0 ressource interactive LOMv1.0 final LOMv1.0 author BEGIN:VCARD VERSION:3.0 N:Fijalkow ;Nathanaël FN:Nathanaël Fijalkow EMAIL;TYPE=INTERNET: ORG: CNRS END:VCARD 2022-03-02 LOMv1.0 publisher BEGIN:VCARD VERSION:3.0 N:Inria / Interstices FN:Inria / Interstices URL: http://www.inria.fr EMAIL;TYPE=internet: ORG: Inria UID:0601223D EMAIL;TYPE=INTERNET: END:VCARD 2015-05-22 URI http://ori.unit-c.fr/uid/unit-ori-wf-1-7602 LOMv1.0 creator BEGIN:VCARD N:François;Valérie FN:Valérie François EMAIL;TYPE=INTERNET:ies-ms@inria.fr ORG:Inria/IES 2015-05-22 LOMv1.0 LOMFRv1.0 SupLOMFRv1.0 fre text/html https://interstices.info/lavenement-de-la-synthese-de-programme/ LOMv1.0 lecture LOMFRv1.0 démonstration LOMv1.0 learner LOMv1.0 higher education 18+ fre LOMv1.0 no LOMv1.0 yes Ce document est diffusé sous licence Creative Commons : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode LOMv1.0 discipline Classification UNIT 1320 Programmation et programmes de systèmes LOMv1.0 discipline CDD 22e éd. 005.4 L3