PML est un langage informatique, dialecte ML développé par Christophe Raffalli de l'Université de Chambéry en France.
Suivant les mots de son auteur :
"PML est une variante du langage ML (comme SML ou OCaml), qui voudrait permettre que les programmes soient prouvables, et que le langage soit malgré tout utilisable."
Wikimedia Foundation. 2010.
Contenu soumis à la licence CC-BY-SA. Source : Article PML (logiciel) de Wikipédia en français (auteurs)
Calibre (logiciel) — Pour les articles homonymes, voir Calibre. Calibre … Wikipédia en Français
PhoX (logiciel) — PhoX (1994) est un assistant de preuve développé par Christophe Raffalli à l Université de Savoie et antérieurement à Jussieu avec la participation de Philippe Curmin, Pascal Manoury et Paul Roziere. Son nom provient du fait qu un renard (en… … Wikipédia en Français
Exploitation du métro de Paris — Article principal : Métro de Paris. L exploitation du métro de Paris comprend la conduite des trains et la gestion des circulations sur les lignes. Avec pour les lignes les plus chargées du réseau, un train toutes les 90 secondes, la RATP… … Wikipédia en Français
PhoX — (logiciel) PhoX (1994) est un assistant de preuve développé par Christophe Raffalli à l Université de Savoie et antérieurement à Jussieu avec la participation de Philippe Curmin, Pascal Manoury et Paul Roziere. Son nom provient du fait qu un… … Wikipédia en Français
Phox — (logiciel) PhoX (1994) est un assistant de preuve développé par Christophe Raffalli à l Université de Savoie et antérieurement à Jussieu avec la participation de Philippe Curmin, Pascal Manoury et Paul Roziere. Son nom provient du fait qu un… … Wikipédia en Français
Toile d'araignee — Toile d araignée Une toile d’araignée … Wikipédia en Français
Toile d'araignée — Une toile d’araignée. Toile de Zygiella sp … Wikipédia en Français
Toile d’araignée — Toile d araignée Une toile d’araignée … Wikipédia en Français
