Cross compiler

Applied sciences
Génie informatique
Programmation informatique
Programmation informatique

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (31)

Connectez-vous pour filtrer par séance de cours

Page 3 sur 4

Optimisation et modèles

Explore l'optimisation dans le code C ++, les idées algorithmiques, le profilage de code et la méta-programmation de modèles.

Introduction à la théorie des compilateurs et au traitement du langage

Introduit la théorie du compilateur, le traitement du langage et les concepts essentiels derrière les compilateurs de construction.

Altruisme efficace : sécurité et gouvernance de l’IA

Couvre l'altruisme efficace en matière de sécurité de l'IA, en se concentrant sur la sémantique de la programmation et la gestion de la mémoire.

Analyse statique pour Amy: Techniques et Implémentations

Explore les techniques d'analyse statique comme l'analyse basée sur l'AST et l'analyse des taints appliquée au langage Amy.

Tutoriel de débogage: Exercices

Introduit des bases de débogage et des exercices pour identifier et corriger des erreurs de programmation communes.

Machines virtuelles : gestion de la mémoire et flux de contrôle

Couvre l'architecture des machines virtuelles, en se concentrant sur la gestion de la mémoire, le flux de contrôle et la sémantique de la machine CEK.

Vue d'ensemble du compilateur : exemple de génération de code

Analyse la sortie du compilateur d'un programme C et la compare avec le code d'octet Java.

Surcharge de l'opérateur en C++

Explore la surcharge de l'opérateur en C++, mettant l'accent sur la manipulation de classe et la compilation de code.

Vérification des compilateurs : défis et avantages

Examine les défis et les avantages de la vérification des compilateurs, en soulignant l'importance de la vérification des compilateurs pour les logiciels critiques.

Sans titre