Concept
Scala (langage)
Séances de cours associées (179)
Laboratoire de génération de code
Couvre la génération de code pour un compilateur, traduisant un programme Amy à WebAssembly, y compris la gestion de la mémoire et la compilation de correspondance de motifs.
Programmes de vérification avec l'inox: Partie 2
Se concentre sur l'utilisation d'Inox pour la vérification des programmes, en démontrant le processus de vérification des programmes et en assurant l'exactitude.
Comparaison d'objets : Comparable vs Comparator
Couvre les concepts d'interfaces Comparable et Comparator en Java, en expliquant comment les classes implémentent ces interfaces pour permettre la comparaison d'objets.
Laboratoire de vérification de type
Se concentre sur la mise en œuvre d'un vérificateur de type pour Amy, couvrant l'analyse des noms et des types, la génération de contraintes de frappe et l'importance de la vérification de type dans la compilation.
Opérations Data-Parallel: Programmation Scala
Couvre les opérations parallèles de données dans la programmation Scala, en mettant l'accent sur les opérations de repliement et l'exploitation agrégée.
Gestion de la mémoire: Partie I
Couvre les concepts de gestion de la mémoire tels que les en-têtes de bloc, la fragmentation externe, le comptage des références et la collecte des déchets de marquage et de balayage.
Conc-Tree Combiners: Programmation parallèle en Scala
Explore Conc-Tree Combiners pour la programmation parallèle en Scala, couvrant les opérations tampons, les nœuds de morceaux et les méthodes de combinaison.
Racines carrées avec les méthodes de Newton
Explore le calcul des racines carrées en utilisant la méthode de Newton et aborde les défis de précision dans le processus.
Exactitude des compilateurs: Partie 2
Explore l'exactitude des compilateurs, en mettant l'accent sur l'évaluation des expressions, la compilation bytecode et les opérations de pile.
Systèmes d'acteurs d'essai
Explore les systèmes de test des acteurs, y compris la vérification des effets observables et l'interaction avec les acteurs parentaux.