Interprètes et machines virtuellesExplore les interprètes et les machines virtuelles, en discutant de leurs avantages, de leurs types et de leurs techniques d'optimisation.
Fondements du logicielCouvre les bases de l'induction, de la syntaxe, de la syntaxe abstraite vs. concrète et de la sémantique opérationnelle pour les booléens.
