CONCEPTION ET IMPLEMENTATION D'UN DIALECTE LISP PARESSEUX : HELP / THOMAS SCHIEX ; SOUS LA DIRECTION DE MICHEL CAYROL

Date :

Editeur / Publisher : [S.l.] : [s.n.] , 1991

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Cayrol, Michel (19..-....) (Directeur de thèse / thesis advisor)

Université Toulouse 3 Paul Sabatier (1969-....) (Organisme de soutenance / degree-grantor)

Relation : CONCEPTION ET IMPLEMENTATION D'UN DIALECTE LISP PARESSEUX : HELP / Thomas Schiex ; sous la direction de Michel Cayrol / Grenoble : Atelier national de reproduction des thèses , 1991

Résumé / Abstract : CETTE THESE S'INSERE DANS LA CONTINUATION DE LA THESE DU PR. CAYROL SUR LES LANGAGES PERMETTANT LA MANIPULATION DE STRUCTURES DE DONNEES INFINIES DENOMBRABLES (BASEE SUR LE LANGAGE PSIL). NOUS ETUDIONS UN NOUVEAU LANGAGE QUI HERITE DE CARACTERISTIQUES DE PSIL ET DE SCHEME. UNE DEFINITION SEMANTIQUE, LA DESCRIPTION DE L'IMPLEMENTATION EFFICACE DE L'INTERPRETE SUR MAINTOSH II ET L'ETUDE D'UN COMPILATEUR FORMENT L'ESSENTIEL DE LA THESE. UN MANUEL HELP COMPLET EST INCLUS. FINALEMENT, NOUS COMPARONS NOTRE LANGAGE AVEC DES MEMBRES HABITUELS DE LA COMMUNAUTE FONCTIONNELLE (HOPE, SCHEME..). DE FUTURES DIRECTIONS DE RECHERCHES SONT EXPOSEES