Date : 1979
Editeur / Publisher : [Lieu de publication inconnu] : [Éditeur inconnu] , 1979
Type : Livre / Book
Type : Thèse / ThesisLangue / Language : français / French
Langages de programmation -- Sémantique
Résumé / Abstract : On étudie les propriétés syntaxiques et sémantiques des langages de programmation "a évaluation déterministe" du type ALGOL, PASCAL, ou ISWIM, qu'on appelle langages séquentiels. On étudie en particulier le problème de sequentialité, qui est le problème de la construction sémantique de modèles reflétant toutes les propriétés de ces langages. Sur le plan sémantique, on propose une définition précise de ce qu'est un modèle continu des langages fondes sur le lambda-calcul type, on construit plusieurs modèles initiaux, on étend les résultats de Milner, on donne un moyen général de construire des modèles a partir de catégories cartésien ferme enrichies d'ordres partiels complets, on construit de nouveaux modèles appelés modèles stables, a partir de la notion de fonction stable, intermédiaire entre la notion de fonction continue et une notion satisfaisante qui reste encore a trouver