Séances de cours associées à Simply Taped Lambda Calculus: Fondements et propriétés

Séances de cours associées (32)

Opérateurs et expressions : programmation en C

Explique les opérateurs et les expressions en C, en se concentrant sur l'arithmétique, la comparaison et les opérations logiques.

Machines virtuelles : gestion de la mémoire et flux de contrôle

Couvre l'architecture des machines virtuelles, en se concentrant sur la gestion de la mémoire, le flux de contrôle et la sémantique de la machine CEK.