Couvre les variables Java, y compris la déclaration, l'initialisation, les affectations et les constantes, mettant en évidence les conventions de nommage et les affectations dynamiques.
Couvre les bases de la programmation Python, en se concentrant sur les structures de contrôle de flux, le mode interactif, le mode script et les variables.
Explore l'analyse automatisée de terminaison à l'aide de paires de dépendances, couvrant les techniques classiques et modernes, les concours annuels et des outils comme AProVE.
Couvre les concepts fondamentaux de programmation et de programmation orientée objet en Java, y compris les variables, les types, les structures de contrôle et les concepts algorithmiques de base.