Schémas de programme récursifs polyadiques : équivalences sémantiques et classes d'interprétations / Irène Guessarian

Date :

Editeur / Publisher : [Lieu de publication inconnu] : [Éditeur inconnu] , 1975

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Récursivité, Théorie de la

Langages de programmation -- Sémantique

Langages de programmation

Université Paris Diderot - Paris 7 (1970-2019) (Organisme de soutenance / degree-grantor)

Résumé / Abstract : Etude du problème de l'équivalence (ou de l'inclusion) sémantique de deux schémas de programme. On adopte ici un point de vue algébrique, c'est-a-dire que l'on tente d'expliciter la nature même de ces phénomènes en étudiant leurs liens avec certaines équivalences syntaxiques sur le magma libre engendre par les langages schématiques.