PML (logiciel)
PML est un prototype de langage informatique développé par Christophe Raffalli à l'Université Savoie Mont Blanc en France. Il s'agit d'un dérivé du langage ML, qui a pour particularité de permettre à l'utilisateur de prouver des propriétés équationnelles de ses programmes. Il peut donc être utilise à la fois comme un langage de programmation fonctionnelle usuel, et comme un assistant de preuve. La première version du système ayant permit d'établir sa faisabilité, une seconde version reposant sur des fondements théoriques solides est en cours de développement[1].
Notes et références[modifier]
- ↑ (en) Rodolphe Lepigre, Programming Languages and Systems, Springer, Berlin, Heidelberg, (DOI 10.1007/978-3-662-49498-1_19, lire en ligne), p. 476–502
Lien externe[modifier]
Erreur Lua dans Module:Catégorisation_badges à la ligne 170 : attempt to index field 'wikibase' (a nil value).Erreur Lua dans Module:Suivi_des_biographies à la ligne 189 : attempt to index field 'wikibase' (a nil value).
Cet Article wiki "PML (logiciel)" est issu de Wikipedia. La liste de ses auteurs peut être visible dans ses historiques.
