Realizability for programming languages.
Résumé
We present a toy functional programming language inspired by our work on PML together with a criterion ensuring safety and the fact that non termination can only occur via recursive programs. To prove this theorem, we use realizability techniques and a semantical notion of types.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...