Séance de cours

Interprétation et compilation du modèle

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.

Description

Cette séance de cours couvre le concept d'interprétation et de compilation de modèles par une évaluation partielle, axée sur la transformation des interprètes en code compilé. L'instructeur discute du processus d'évaluation partielle à l'aide d'exemples comme la fonction de puissance, l'évaluation partielle automatique et les Projections de Futamura. La séance de cours explore les défis et les avantages de l'évaluation partielle, le rôle des interprètes modèles dans les langues modèles et le développement d'un évaluateur partiel pour Java. Il passe également de l'évaluation complète à l'évaluation partielle, aux techniques d'évaluation partielle en ligne et aux préoccupations liées à l'évaluation partielle Java. La discussion comprend la comparaison entre l'évaluation partielle hors ligne et en ligne, les appels de fonctions, la supercompilation, et conclut par l'importance des interprètes modèles pour soutenir les différents langages de modélisation et l'exécution dynamique.

Source officielle

Proximité ontologique

Informatique théorique

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

Concepts associés (32)

Meta-circular evaluator

In computing, a meta-circular evaluator (MCE) or meta-circular interpreter (MCI) is an interpreter which defines each feature of the interpreted language using a similar facility of the interpreter's host language. For example, interpreting a lambda application may be implemented using function application. Meta-circular evaluation is most prominent in the context of Lisp. A self-interpreter is a meta-circular interpreter where the interpreted language is nearly identical to the host language; the two terms are often used synonymously.

Compilateur

En informatique, un compilateur est un programme qui transforme un code source en un code objet. Généralement, le code source est écrit dans un langage de programmation (le langage source), il est de haut niveau d'abstraction, et facilement compréhensible par l'humain. Le code objet est généralement écrit en langage de plus bas niveau (appelé langage cible), par exemple un langage d'assemblage ou langage machine, afin de créer un programme exécutable par une machine.

République du Texas

La république du Texas est le nom que porta l'État américain du Texas qui fit sécession du Mexique, de 1836 à 1845 durant la révolution texane, avant son annexion par les États-Unis. À l'automne 1835, le Texas mexicain fait partie du département de Coahuila y Texas de la république du Mexique (ce n'est plus un État dans le sens de la Constitution de 1824 mais un département, le Mexique étant devenu « centraliste » et non « fédéraliste »).

Partial evaluation

In computing, partial evaluation is a technique for several different types of program optimization by specialization. The most straightforward application is to produce new programs that run faster than the originals while being guaranteed to behave in the same way. A computer program prog is seen as a mapping of input data into output data: where , the static data, is the part of the input data known at compile time. The partial evaluator transforms into by precomputing all static input at compile time.

Optimizing compiler

In computing, an optimizing compiler is a compiler that tries to minimize or maximize some attributes of an executable computer program. Common requirements are to minimize a program's execution time, memory footprint, storage size, and power consumption (the last three being popular for portable computers). Compiler optimization is generally implemented using a sequence of optimizing transformations, algorithms which take a program and transform it to produce a semantically equivalent output program that uses fewer resources or executes faster.

Afficher plus

Séances de cours associées (64)

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.

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.

Compiler Extension Lab

Couvre le Compiler Extension Lab, en se concentrant sur l'ajout de nouvelles fonctionnalités à un compilateur de langage fonctionnel simple.

Compilateur de vérification: Approche Spec#

Explore le système de programmation Spec#, en se concentrant sur un compilateur de vérification pour C# 2.0.

Compilation et C++ Basics

Couvre les bases de la compilation et de la programmation C ++, y compris les variables, les fonctions, les boucles et le débogage.

Afficher plus

Concepts associés (32)

Meta-circular evaluator