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

Recherche

Afficher tous les résultats pour

Accueil

Séance de cours

Taming Null Références

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (43)

Théorie de la langue dans la pratique Connectez-vous à Mediaspace pour regarder cette vidéo

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.

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.

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.

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.

La séparation est tout ce dont vous avez besoin : Fondations pour la vérification modulaire Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les fondements de la vérification modulaire en utilisant la logique de séparation pour des programmes concomitants réalistes et discute des défis de l'état mutable partagé dans la concorde.

Sécurité de la mémoire et architecture client/serveur : concepts clés Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les principes de sécurité de la mémoire et l'architecture client / serveur dans la conception du système.

Fonctions en C: Concepts clés et exemples Connectez-vous à Mediaspace pour regarder cette vidéo

Explique les concepts essentiels des fonctions dans la programmation C, y compris les définitions, les prototypes et les techniques de passage d'arguments.

Chaînes en C : Initialisation et gestion de la mémoire Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la représentation et la gestion des chaînes en C, en soulignant les principales différences par rapport aux autres langages de programmation.

Pointeurs en C: Comprendre leur utilité et leurs applications Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la définition et les applications des pointeurs dans la programmation C, en mettant l'accent sur leur rôle dans la gestion de la mémoire et la programmation générique.

Pointeurs: Chaînes, Fonctions, Casting Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les pointeurs sur les chaînes, les fonctions et le casting en programmation C.

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.

Base de programmation: introduction et algorithmes Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit les bases de programmation, couvrant les systèmes Unix, Firefox, les algorithmes et les structures de données.

Héritage en Java : concepts et mise en œuvre Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les concepts fondamentaux de l'héritage en Java et l'importance des paquets dans la gestion des droits d'accès.

General Manifolds: Un premier regard Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit des diagrammes d-dimensionnels sur des collecteurs et le concept d'un atlas.

Précompilateur: Passez Arguments à votre programme Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les directives de précompilation en langage C, la gestion des arguments main() et le passage des arguments à un programme.

Bases de la Blockchain: Applications financières Connectez-vous à Mediaspace pour regarder cette vidéo

Déplacez-vous dans les bases de la blockchain et les applications financières, couvrant les puzzles de hachage, les arbres de Merkle, preuve d'enjeux, et les contrats intelligents.

Programmation orientée objet: Surchargement de l'opérateur et description du projet Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la surcharge de l'opérateur en C++ et introduit un projet simulant un comportement intelligent dans les colonies d'abeilles.

Pointeurs et gestion de la mémoire Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les pointeurs en C ++, les adresses mémoire, l'allocation dynamique, les tableaux et les techniques de gestion de la mémoire.

Types polymorphes chez Amy Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les types polymorphes dans Amy, y compris les règles Hindley-Milner, les schémas de type, l'instanciation et la gestion des variables de type dans les fonctions.

Sans titre Connectez-vous à Mediaspace pour regarder cette vidéo

Page 2 sur 3