Orateur

Gérard HUET (Inria Paris-Rocquencourt)

Titre

Littérature logicielle : des programmes informatiques agréables à lire, aptes à être publiés tels quels, et à servir de support à des cours exécutables

Ré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û.

Documents

• Transparents de l’exposé (PDF).
• L’exemple commenté par Gérard Huet : son cours de calculabilité (PDF).

Informations pratiques

Jeudi 22 janvier 2015.

Salle 24-25/405 du LIP6, 14h-16h.