{"word_count": 145, "character_count": 1007}
OrateurGérard HUET (Inria Paris-Rocquencourt)TitreLittérature logicielle : des programmes informatiques agréables à lire, aptes à être publiés tels quels, et à servir de support à des cours exécutablesRésuméDonald Knuth a proposé la notion de « literate programming » il y a  plus de 30 ans, afin de promouvoir l'écriture de programmes faciles à comprendre, à maintenir et à enseigner — pas juste des programmes jouets ou des algorithmes abstraits, mais les codes sources intégraux de logiciels de production, vus comme littérature exécutable. Nous présentons notre expérience du concept pour la publication et pour l'enseignement, expliquons le lien avec le « vernaculaire mathématique » proposé par de Bruijn, et donnons quelques raisons expliquant pourquoi ce concept n'a pas percé à ce jour autant qu'il l'aurait dû.DocumentsTransparents de l'exposé (PDF).L'exemple commenté par Gérard Huet : son cours de calculabilité (PDF).Informations pratiquesJeudi 22 janvier 2015.Salle 24-25/405 du LIP6, 14h-16h.