Séance de cours
Taming Null Références
Séances de cours associées (64)
Meta-metaprogramming: Outils avancés pour l'ingénierie logicielle
Explore la «meta-metaprogrammation» pour simplifier les outils de programmation avancés et relever les défis de l'ingénierie logicielle.
Laboratoire de génération de code
Couvre la génération de code pour un compilateur, traduisant un programme Amy à WebAssembly, y compris la gestion de la mémoire et la compilation de correspondance de motifs.
Théorie de la langue dans la pratique
Explore l'application pratique de la théorie du langage, y compris le tri rapide, le typage progressif et la gestion efficace de la mémoire, ainsi que les défis de la synthèse des programmes de réduction.
Mini-projet 2 Tutoriel Explication
Explique le tutoriel du mini-projet 2 pour le cours CS107, en mettant l'accent sur les interactions de modèles et les décisions de conception.
Propositions en tant que types: Logique et correspondance de programmation
Explore la relation entre les preuves logiques et les preuves de programmation à travers la correspondance de Curry-Howard.
Tutoriel du système de vérification inoxydable
Introduit Stainless, un outil open-source pour vérifier les programmes Scala, couvrant le langage, la modélisation, les conseils de vérification et les travaux intérieurs.
Types de données C avancés
Couvre les types de données avancés et la gestion de la mémoire en programmation C, en mettant l'accent sur la cohérence des types et l'allocation dynamique des tableaux.
Introduction à la programmation : premières étapes
Couvre les bases de la programmation, y compris le cycle de développement d'un programme, forte dactylographie, stockage de données dans les variables Java, et les types de données primitives.
Introduction au codage : représentation du code binaire et transistorsMOOC: Humanitarian Action in the Digital Age
Couvre la représentation du code binaire et l'importance des langages de programmation pour différentes tâches.
Histoire et définition de l'informatiqueMOOC: Die digitale Welt mit dem Thymio Roboter entdecken
Explique les concepts de base de l'informatique et de leur interaction.