L5) Les trois sémantiques
Explorez les 3 sémantiques formelles : opérationnelle, dénotationnelle et axiomatique. Comprenez comment elles décrivent le sens des programmes et choisissez la bonne approche pour vos projets.
Articles et réflexions
Explorez les 3 sémantiques formelles : opérationnelle, dénotationnelle et axiomatique. Comprenez comment elles décrivent le sens des programmes et choisissez la bonne approche pour vos projets.
Plongez au cœur des compilateurs ! Découvrez ce qu’est un AST (Abstract Syntax Tree), comment il simplifie votre code et son rôle clé dans la compilation. Indispensable pour tout développeur.
Qu’est-ce que l’EBNF ? Découvrez ce méta-langage standard pour décrire la syntaxe des langages (Python, JSON…). Apprenez ses opérateurs et son rôle clé. Maîtrisez l’EBNF !
Plongez dans la hiérarchie de Chomsky ! Découvrez les 4 types de langages, du régulier au récursivement énumérable. Essentiel pour comprendre la conception des langages et outils.
Plongez dans les Grammaires Context-Free (CFG) et comprenez comment les compilateurs et parseurs interprètent la syntaxe des langages. Essentiel pour tout développeur !
Découvrez pourquoi j’ai créé BP2SC, le pont entre Bol Processor 3 et SuperCollider. Connectez grammaires musicales formelles et synthèse temps réel pour une créativité sans limites.
Introduction à SuperCollider, le langage de programmation dédié au son. Patterns, live coding, synthèse temps réel : découvrez pourquoi nous l’avons choisi pour BP2SC.
Découvrez le **Bol Processor**, le système de grammaires musicales de Bernard Bel. Explorez son impact sur la polymétrie, la musique indienne et la composition algorithmique.