Cours

CS-420: Advanced compiler construction

Résumé

Students learn several implementation techniques for modern functional and object-oriented programming languages. They put some of them into practice by developing key parts of a compiler and run time system for a simple functional programming language.

Séances de cours

Enseignant·e

Michel Schinz

Enseignement et PhD Cours Advanced compiler construction CS-420 Les étudiants apprennent plusieurs techniques de mise en œuvre des langages fonctionnels et orienté-objets. Ils les mettent en pratique en réalisant certaines parties importantes d'un compilateur et d'un moteur d'exécution pour un langage fonctionnel simple. Pratique de la programmation orientée-objet CS-108 Les étudiants perfectionnent leurs connaissances en Java et les mettent en pratique en réalisant un projet

Source officielle

https://edu.epfl.ch/coursebook/fr/advanced-compiler-construction-CS-420

Page Moodle

http://go.epfl.ch/CS-420

À 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.

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Résumé

Séances de cours

Enseignant·e

Michel Schinz

Source officielle

https://edu.epfl.ch/coursebook/fr/advanced-compiler-construction-CS-420

Page Moodle

http://go.epfl.ch/CS-420

À propos de ce résultat

Séances de ce cours (20)

Introduction au cours: Compilation de langues de haut niveau

Couvre le cours sur la compilation de langages de haut niveau et l'optimisation du code.

Représentations intermédiaires : CPS/L3

Couvre les représentations intermédiaires dans les compilateurs, en se concentrant sur CPS / L3 IR fonctionnel avec des continuations locales et des constructions de contrôle.

Représentation des valeurs : Marquage et boxe

Explore l'amélioration de la traduction, des traductions basées sur le contexte source et des techniques de représentation de la valeur telles que le marquage et la boxe.

Conversion de fermeture : Représentation et transformation

Explore la représentation et la transformation des valeurs, en se concentrant sur la conversion de fermeture et les défis de la représentation des fonctions dans les langages fonctionnels.

Analyse des flux de données : Inefficacités et optimisations de la traduction

Explore les inefficacités de traduction, les optimisations, les fonctions de levage, la conversion de fermeture et les concepts d'analyse de flux de données tels que les expressions disponibles et les variables en direct.

Afficher plus

Cours associés (32)

MATH-458: Programming concepts in scientific computing

The aim of this course is to provide the background in scientific computing. The class includes a brief introduction to basic programming in c++, it then focuses on object-oriented programming and c++ specific programming techniques. Typical class hierarch ...

MATH-611: Scientific programming for Engineers

The students will acquire a solid knowledge on the processes necessary to design, write and use scientific software. Software design techniques will be used to program a multi-usage particles code, aiming at providing the link between algorithmic/complexit ...

CS-550: Formal verification

We introduce formal verification as an approach for developing highly reliable systems. Formal verification finds proofs that computer systems work under all relevant scenarios. We will learn how to use formal verification tools and explain the theory and ...

CS-471: Advanced multiprocessor architecture

Multiprocessors are basic building blocks for all computer systems. This course covers the architecture and organization of modern multiprocessors, prevalent accelerators (e.g., GPU, TPU), and datacenters. It includes a research project on multiprocessors ...

PHYS-467: Machine learning for physicists

Machine learning and data analysis are becoming increasingly central in sciences including physics. In this course, fundamental principles and methods of machine learning will be introduced and practised. ...

Afficher plus