Questions marquées «compilers»

5
Preuves d'exactitude du compilateur
Je recherche du matériel didactique qui couvre les preuves d'exactitude du compilateur, de préférence en utilisant des méthodes de dénotation, au niveau d'un étudiant débutant. Alternativement, connaissez-vous quelques exemples de compilateur simples que je pourrais utiliser pour illustrer les problèmes? (Le premier exemple qui m'est venu à l'esprit était un …
2
Quelqu'un a-t-il utilisé la défonctionnalisation polymorphe de Pottier et Gauthier dans un compilateur modulaire?
La défonctionnalisation est une transformation de programme qui convertit des programmes d'ordre supérieur en programmes de premier ordre. L'idée est que, compte tenu d'un programme, il n'y a qu'un nombre fini d'abstractions lambda, vous pouvez donc remplacer chaque lambda par un identifiant et chaque application de fonction par un appel …
1
Le compilateur Staline optimise brutalement, mais comment?
L'énoncé de recherche de JM Siskind déclare: Staline est un compilateur d'optimisation pour Scheme qui effectue une analyse statique du programme entier et utilise les résultats de cette analyse pour générer du code extrêmement efficace. Staline utilise une large collection de techniques d'analyse statique. Il effectue une nouvelle forme d'analyse …
14 compilers 
1
Quelles sont les implémentations possibles des classes de types de Haskell et quels sont leurs (dés) avantages?
Pour autant que je sache, une fonction Haskell avec des contraintes de classes de type est compilée en interne en une fonction avec des arguments supplémentaires qui reçoivent des dictionnaires avec les implémentations nécessaires de chaque classe de type particulière. Existe-t-il d'autres possibilités de compilation des classes de types? Si …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.