Programmation informatique

Applied sciences
Génie informatique
Programmation informatique

Séances de cours associées (31)

À propos
Confidentialité
Mentions légales

Graph Chatbot

Page 2 sur 4

Compilation séparée: Linker / Loader; Marque

Couvre la compilation séparée, les modules de liaison, le rôle du chargeur et l'utilisation du makefile.

Analyse stochastique : approche probabiliste

Couvre les grammaires stochastiques sans contexte, l'analyse probabiliste et l'estimation des probabilités.

Grammaires sans contexte: Partie 1

Couvre les grammaires sans contexte, les règles de production, les automates, l'analyse syntaxique et les techniques d'analyse.

Analyse des noms : Phases de compilation et tableaux de symboles

Explore les phases du compilateur et le rôle des tables de symboles dans le mappage des variables vers les déclarations.

Solveur WS1S: Structure du projet

Explore la structure du projet pour résoudre les formules WS1S et les ajouts prévus.

Combinateurs d'analyseurs orientés objet

Couvre les combinateurs d'analyseurs orientés objet dans Scala pour la construction d'analyseurs, y compris l'analyse et les tests JSON.

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.

Conversion de fermeture et analyse de flux de données

Explore la conversion de fermeture, le levage de fonction et l'analyse de flux de données pour l'optimisation de programme.

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.

Parsage syntaxique et transformateurs graphique2Graph

Couvre l'analyse syntaxique, la grammaire de dépendance et l'analyse du réseau neuronal à base de graphes.