#Compilation & langages formels — Introduction
Ce module explique comment on passe d’un texte source à un programme exécutable: lexing (décomposer en tokens), parsing (construire un arbre syntaxique), AST (représentation structurée), puis génération de code. WebAssembly (WASM) sert d’exemple moderne d’ISA portable pour le navigateur et au‑delà.
Contexte pédagogique: niveau L3 (Valrose — UCA). Le module s’appuie sur les bases d’automates/regex et prépare un mini‑compilateur jouet jusqu’à une cible WASM.
#Pourquoi ça sert
Comprendre le pipeline de compilation permet de mieux lire les erreurs, d’écrire des outils (linters, formatters) et d’apprécier le coût des abstractions. WASM montre comment exécuter du code proche du natif, en sécurité, dans un bac à sable.
#Démo — WebAssembly (f ⇒ 42)
Exécute un module WASM (base64) qui exporte f().