Séance de cours
Monotonie et sémantique des variables locales
Séances de cours associées (54)
JVM Backend: Génération de code et traduction
Explore la traduction de programmes, de définitions et d'expressions en bytecode à l'aide du moteur JVM.
L'étiquette des arêtes: TraduireMOOC: Instructional Design with Orchestration Graphs
Traduire entre les connaissances déclaratives et procédurales, les différentes représentations, perspectives et reformulations.
Type Règles : Progrès et préservation
Couvre Amyli, un petit langage fonctionnel, tapez des règles et de la solidité.
Hoare Logic: Postcondition la plus forte et précondition la plus faible
Introduit la logique Hoare pour simplifier les preuves de comportement des programmes par le biais d'annotations.
Patrimoine et numérisation : production de podcasts
Se concentre sur la production d'un podcast lié au patrimoine et à la numérisation par le biais de travaux de groupe, d'entrevues et de montage audio.
Dystopie : définition et analyse
Explore le concept de dystopie, en analysant le despotisme, le totalitarisme, et leur impact sur les individus et la société.
Approximation des boucles : Récursion
Explore les boucles d'approximation et définit mathématiquement les programmes récursifs.
Exemple de sémantique de boucle
Explore la sémantique des boucles, démontrant comment calculer systématiquement la signification d'une boucle while.
Compilation des expressions
Couvre la conversion des expressions, l'évaluation à l'aide de machines à piles et la génération de bytecode.
Graphique d'orchestration : étiquettes de bord
Se penche sur la traduction des connaissances, la commutation des perspectives et la correction des solutions dans les graphiques d'orchestration.