Loading [Contrib]/a11y/accessibility-menu.js
Table des matières
-
•
29
novembre
2022
•
Qu'est ce que le droit et le logiciel ont en commun ?
-
•
1er
mars
2021
•
Du code libre en OCaml à la DGFiP
-
•
20
décembre
2019
•
Rétro-ingénierie du code des impôts et analyse par preuve automatique
-
•
16
avril
2019
•
Étude de cas: le filtre de Bloom
-
•
16
avril
2019
•
Étude de cas: un formulaire verifié
-
•
16
avril
2019
•
Apporter la vérification déductive à Rust
-
•
26
décembre
2018
•
Techniques d'optimisation par duplication de code
-
•
24
janvier
2018
•
Relations entre informatique et logique
-
•
13
décembre
2017
•
Conditionelles et graphe de flot de contrôle
-
•
22
novembre
2017
•
Arbres de syntaxe abstraits
-
•
1er
novembre
2017
•
Classification des systèmes de type
-
•
25
octobre
2017
•
Allocation de registres
-
•
6
septembre
2017
•
La programmation fonctionnelle
-
•
16
août
2017
•
Organisation de la pile et du tas
-
•
9
août
2017
•
La programmation orientée objet
-
•
2
août
2017
•
Gestion de la mémoire, manuelle ou automatique
-
•
26
juillet
2017
•
Plongée au cœur du processeur et de son langage
-
•
19
juillet
2017
•
Différences entre langages statiques et dynamiques
-
•
12
juillet
2017
•
Introduction au pourquoi et au comment des langages de programmation