Cadoles
/
formations
20
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

cours : premiere version

This commit is contained in:
gwen 2017-04-30 08:59:55 +02:00
parent 670c1fe535
commit ffcd62cd50
2 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
algorithmique/cours/annexes/surete.txt
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

8
algorithmique/cours/modules.txt
View File

@ -16,6 +16,11 @@ interface
mode d’emploi du module, avec en plus un principe de masquage mode d’emploi 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
------------------------------------ ------------------------------------