Questions marquées «operational-semantics»

1
Peut-on distinguer des méthodes strictement syntaxiques et sémantiques dans un langage de programmation?
Tout en discutant de preuves de normalisation solides, ce commentaire oppose le «modèle des formes normales» aux «méthodes purement syntaxiques». Cela me ramène à une question plus fondamentale: peut-on encore distinguer strictement les constructions syntaxiques et sémantiques, face aux modèles syntaxiques? Qu'en est-il des modèles de termes pour les algèbres, …
1
L'appel / cc de Scheme peut-il implémenter toutes les structures de flux de contrôle connues?
La page "Advanced Scheme: Some Naughty Bits" indique: Les continuations sont une puissante structure de contrôle-flux à partir de laquelle presque toute autre structure de contrôle-flux [...] peut être dérivée. Je pensais que Scheme call/cc, étant lié (*) à l'opérateur J de Peter Landin, pourrait être utilisé pour implémenter n'importe …
3
Pour quelles langues existe-t-il déjà une théorie de l'équivalence observationnelle?
Pour une preuve d'exactitude, je cherche une notion utilisable d'équivalence de programme pour les systèmes de type pur de Barendregt (PTS); manque cela, pour suffisamment de systèmes de types spécifiques. Mon but est simplement d'utiliser la notion, pas de la rechercher pour elle-même.≅≅\cong Cette notion devrait être " extensionnelle " …
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.