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.
Couvre la mise en œuvre de fonctions récursives à l'aide de substitutions et d'environnements, montrant la capacité d'exécuter des fonctions calculables.
Explore la dualité d'assemblage dans les microcontrôleurs, couvrant les opérations de bits, les techniques de masquage, les macros, les sous-programmes et la gestion des piles.
Explique l'abstraction de l'espace d'adressage, en se concentrant sur la gestion de la mémoire, les structures de pile et de tas, et leurs rôles dans l'allocation dynamique de la mémoire.
Explore l'organisation de la mémoire, la virtualisation, l'attribution dynamique de la mémoire, la pile, le tas et les techniques de virtualisation de la mémoire comme le registre de base et la segmentation.
Explore le langage d'assemblage MIPS, couvrant les appels de fonctions, la gestion de la mémoire et les structures de données, y compris les fonctions récursives, les constructions de programmation, les tableaux et les listes liées.
