Questions marquées «semantics»

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 …
3
Existe-t-il une théorie du langage de programmation décrivant les interfaces de fonctions étrangères (FFI) et les liaisons de plusieurs langages?
Existe-t-il une théorie du langage de programmation décrivant les interfaces de fonctions étrangères (FFI) et les liaisons de plusieurs langages? J'ai posé quelques problèmes d'implémentation sur stackoverflow , qui ne convient pas ici. Mais je voudrais demander du point de vue de ce site et voir ce que je pourrais …
2
Intégralité totale vs Abstraction complète d'une traduction de programme
Les efforts de vérification du compilateur se résument souvent à prouver que le compilateur est complètement abstrait: qu'il préserve et reflète les équivalences (contextuelles). Au lieu de fournir des preuves d'abstraction complètes, certains travaux récents de vérification du compilateur (basés sur des catégories) par Hasegawa [ 1 , 2 ] …
2
Quelle est la différence entre les stratégies de réduction et les stratégies d'évaluation?
Extrait de l' article sur la stratégie d'évaluation sur Wikipédia: La notion de stratégie de réduction dans le calcul lambda est similaire mais distincte. Extrait de l' article sur la stratégie de réduction sur Wikipédia: Elle est similaire mais subtilement différente de la notion de stratégie d'évaluation en informatique. Quelle …
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.