cours : premiere version

This commit is contained in:
gwen 2017-04-30 08:59:55 +02:00 committed by Benjamin Bohard
parent 11c43df090
commit c23e306403
2 changed files with 6 additions and 4 deletions

View File

@ -1,4 +1,4 @@
Autres outils de sureté d'un programme Outils de sureté d'un programme
-------------------------------------- --------------------------------------
La preuve de programme La preuve de programme

View File

@ -16,6 +16,11 @@ interface
mode demploi du module, avec en plus un principe de masquage mode demploi du module, avec en plus un principe de masquage
des informations (partie publique, partie secrète) des informations (partie publique, partie secrète)
Signatures, type abstrait et langage de modules : la programmation modulaire
permet d'aller très loin dans la programmation structurée.
Définir des fonctions dans un fichier séparé Définir des fonctions dans un fichier séparé
-------------------------------------------- --------------------------------------------
@ -242,9 +247,6 @@ obtenir un nouveau module :
module M = F (Titi) (Toto) module M = F (Titi) (Toto)
Signatures, type abstrait et langage de modules
=================================================
Contrainte de type par signature Contrainte de type par signature
------------------------------------ ------------------------------------