Gérard Huet : La littérature logicielle (22/01/2015)

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

Informations pratiques

Jeudi 22 janvier 2015.

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



Citer ce billet
Baptiste Mélès (2015, 14 septembre). Gérard Huet : La littérature logicielle (22/01/2015). Séminaire Codes sources. Consulté le 29 mars 2024, à l’adresse https://doi.org/10.58079/mzra

Laisser un commentaire

Votre adresse e-mail ne sera pas publiée. Les champs obligatoires sont indiqués avec *

Ce site utilise Akismet pour réduire les indésirables. En savoir plus sur comment les données de vos commentaires sont utilisées.