Exactitude des compilateurs: Partie 2

Dans cours

DEMO: esse reprehenderit incididunt

Et cupidatat mollit laboris velit reprehenderit laborum esse aliqua laboris. Enim veniam deserunt nostrud ipsum incididunt. Id laboris ut irure culpa sunt ad sit tempor dolor deserunt ut. Non cillum nulla excepteur velit dolore laboris sit consectetur id exercitation aliquip. In Lorem ipsum mollit occaecat anim voluptate.

Connectez-vous pour voir cette section

Description

Cette séance de cours se penche sur l'exactitude des compilateurs, en se concentrant sur l'interprétation des expressions et des opérations de pile. Il couvre l'évaluation des expressions, la compilation en bytecodes et l'exécution d'opérations sur une machine de pile. L'instructeur démontre le processus de vérification en utilisant Stainless, assurant l'exactitude des opérations du compilateur.

Connectez-vous pour regarder la vidéo

Enseignant

voluptate adipisicing occaecat

Fugiat duis dolore aute in. Minim ad culpa enim sint voluptate veniam eiusmod dolore. Excepteur consequat sint reprehenderit labore laboris enim do mollit laborum dolore ut adipisicing. Aute sunt esse amet id eiusmod est. Amet reprehenderit eu aliqua magna ipsum tempor consequat est ad do ut excepteur. In nisi deserunt non qui incididunt ut sit ipsum ipsum laboris dolore sunt. Anim qui cupidatat laborum quis.

Connectez-vous pour voir cette section

Source officielle

https://mediaspace.epfl.ch/media/0_lipv3d1b

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Proximité ontologique

Informatique théorique

Théorie des langages de programmation: Langage de programmation de haut niveau

Génie informatique

Programmation informatique: Compilateur

Séances de cours associées (45)