Passer au contenu principal

Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Graph
Search

Recherche

Afficher tous les résultats pour

Accueil

Séance de cours

Laboratoire de vérification de type

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (31)

Type Règles : Progrès, Préservation

Couvre les règles de type, la vérification de type de programme, la solidité et les techniques de preuve.

Le calcul Lambda et la sécurité des types: un aperçu Connectez-vous à Mediaspace pour regarder cette vidéo

Fournit un aperçu du calcul lambda, de la sécurité de type et de l'inférence de type dans les langages de programmation.

Hoare Logic: Fondements et applications Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre Hoare Logic, ses fondements, ses applications et son importance dans la vérification des programmes.

Simply Taped Lambda Calculus: Fondements et propriétés Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le calcul lambda simplement typé, en se concentrant sur sa syntaxe, sa sémantique et ses propriétés de système de type telles que le progrès et la préservation.

Tuples: Désucrage et mise en œuvre Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les détails de mise en œuvre des tuples dans Scala, y compris le dessugaring, l'analyse lexicale, l'analyse et la génération de code.

Multithreading : génération de code et vérification de type Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le multithreading, la génération de code et la vérification de type dans l'implémentation du compilateur.

Sémantique à grande échelle : définition d'expressions et de commandes arithmétiques Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la définition d'un langage de programmation simple et sa sémantique à grande échelle, y compris les expressions arithmétiques et les commandes impératives.

Conversion implicite : concepts de base Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les concepts de base de la conversion implicite dans Scala et son implémentation dans le code Scala.

Variables et opérateurs Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de la programmation C, y compris les variables, les opérateurs et la programmation orientée système, en mettant l'accent sur les différences avec Java.

Variables et types: Introduction à la programmation C Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit les bases des variables et des types dans la programmation C, couvrant la déclaration, l'initialisation et les différences par rapport à Java.

Types de données C avancés Connectez-vous à Mediaspace pour regarder cette vidéo

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.

Page 2 sur 2