Séance de cours
Tutoriel en acier inoxydable: Demo.scala Basics
Séances de cours associées (28)
Conception mécanique appliquée: Introduction
Présente les complexités de la conception, en mettant l'accent sur la nature mal posée des problèmes et le processus de conception itératif.
Tutoriel du système de vérification inoxydable
Introduit Stainless, un outil open-source pour vérifier les programmes Scala, couvrant le langage, la modélisation, les conseils de vérification et les travaux intérieurs.
Limites de fonctions : Exercices et définitions
Introduit l'analyse des fonctions réelles, en mettant l'accent sur les limites et les calculs de séries.
Fonctions : AnonymeMOOC: Matlab et Octave pour débutants
Couvre le concept de fonctions anonymes dans MATLAB et Octave.
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.
Hiérarchies de classe: Correspondance des motifs
Explore les hiérarchies de classe, les classes de cas, les enums, les correspondances de motifs et les valeurs de fonction dans Scala.
Motivation: Limite d'une fonctionMOOC: Analyse I
Explique la motivation derrière la limite d'une fonction et les critères de convergence.
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.
Interprétation abstraite en acier inoxydable
Explore l'interprétation abstraite en acier inoxydable, démontrant son application dans la vérification du programme et discutant des orientations futures pour le projet.
Série géométrique: Exemple de baseMOOC: Analyse I
Couvre l'exemple de base d'une série géométrique et de ses propriétés de convergence.