Sémantique dénotationelle de PCF
On construit la sémantique dénotationelle de PCF, en démontrant la continuité des diverses constructions au fur et à mesure.
| Qualité | Numéro | Titre |
|---|---|---|
| 5 | 930 | Sémantique des langages de programmation. Exemples.2021 |
Utilisateur : Meven
La référence en ligne http://www.cl.cam.ac.uk/~gw104/dens.pdf est mieux que le Mitchell pour préparer le développement.
Références :
Foundations for Programming Languages - John C. Mitchell