Concept

Pile d'exécution

Séances de cours associées (25)

Fonctions récursives : Interprète de substitution

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.

Génération de code : Exemples, WebAssembly

Couvre des exemples de génération de code et introduit le bytecode WebAssembly (WA) et le fonctionnement de la machine de pile.

Exactitude des compilateurs: Partie 1

Explore l'exactitude du compilateur, des exemples de compilateurs vérifiés, la vérification formelle et les défis des compilateurs de certification.

Vue d'ensemble du compilateur : exemple de génération de code

Analyse la sortie du compilateur d'un programme C et la compare avec le code d'octet Java.

Pointeur Arithmétique: Comprendre la gestion de la mémoire en C

Explique l'arithmétique du pointeur en C, en se concentrant sur la manipulation de la mémoire et les pièges courants.