Séances de cours associées à Génération de code natif

Couvre les bases d'Aseba Studio pour l'écriture et la gestion de programmes de robots.

Explore les approches de génération de code, les abstractions de l'opérateur, la compilation des requêtes, l'adaptation des formats de données et les systèmes opérationnels dans le traitement des requêtes de base de données.

Interprètes et machines virtuelles

Explore les interprètes, les machines virtuelles, les techniques d'optimisation et la gestion de la mémoire dans les langages de programmation.

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.

Analyse statique pour Amy: Introduction à l'analyse basée sur l'AST

Introduit l'analyse basée sur l'AST et ses avantages sur les tests, couvrant ses applications, les implémentations de règles, et les limitations.