Concept

Bootstrap (compilateur)

Séances de cours associées (31)

Couvre les constructeurs par défaut en Java, y compris la génération par le compilateur et l'appel d'autres constructeurs.

Vérification formelle et synthèse des programmes

Explore les recherches de Viktor Kuncak sur la vérification formelle, la synthèse de programmes et les activités d'enseignement à l'EPFL.

Interprétation et compilation du modèle

Explore l'interprétation des modèles, la compilation par l'évaluation partielle, les appels de fonctions et la transition vers l'évaluation partielle, en soulignant l'importance des interprètes modèles pour soutenir les langages de modélisation.

Architectures VLIW: Compilateurs et parallélisme de niveau d'instruction

Couvre les architectures et les compilateurs VLIW, en se concentrant sur le parallélisme de niveau d'instruction et les techniques d'optimisation.

Architecture informatique : Langage machine

Explore la mise en œuvre du langage machine et le rôle des compilateurs.

Copier le constructeur en C++

Couvre le constructeur de copie en C++, sa génération, son initialisation et sa suppression en C++11.

Constructeurs par défaut en C++

Couvre les constructeurs par défaut dans C++, y compris les exemples et les implications de la spécification des constructeurs dans C++11.

Sécurité des logiciels : Tests de sécurité - Sanitizers

Explore l'utilisation de désinfectants dans les tests de sécurité logicielle pour détecter les bogues tôt et améliorer l'efficacité des tests.

Crypto Wallet pour DeFi: MetaMask

Couvre MetaMask, un portefeuille crypto pour les applications blockchain, mettant l'accent sur la sécurité du portefeuille et la protection des comptes.

Préfixe, Infix, Postfix et génération de code

Explore les notations de préfixe, d'infixe et de postfixe dans les expressions et leur rôle dans la génération de code.

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.