Couvre les fonctions de la programmation C, mettant l'accent sur la réutilisabilité et la réduction des erreurs grâce à une structure de fonction appropriée.
SuSLik, un synthétiseur de programmes générant des programmes de bas niveau sûrs à partir de spécifications logiques, présente ses capacités à gérer les structures de données liées.
Couvre les fondamentaux de la programmation réactive, mettant l'accent sur les systèmes axés sur les événements, évolutifs, résilients et réceptifs, et propose d'utiliser la programmation fonctionnelle pour les abstractions d'événements composables.
Explique les pointeurs et les constantes dans la programmation C, en se concentrant sur leurs définitions, leur utilisation et leurs implications pour la gestion de la mémoire.
