Un système déclaratif de types pour Prolog / Lan Nguyen Phuong ; sous la direction de [Yann Rouzaud]

Date :

Editeur / Publisher : Grenoble : Université Joseph Fourier , 2008

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Rouzaud, Yann (19..-.... ; auteur en informatique) (Directeur de thèse / thesis advisor)

Institut national polytechnique (Grenoble, Isère, France ; 1900-....) (Organisme de soutenance / degree-grantor)

Institut d'informatique et mathématiques appliquées (Grenoble ; 1989-2006) (Laboratoire associé à la thèse / thesis associated laboratory)

Relation : Un système déclaratif de types pour Prolog / Lan Nguyen Phuong ; sous la direction de [Yann Rouzaud] / , 1992

Résumé / Abstract : Cette thèse présente un système de types pour le langage Prolog, intégrant la notion de mode, c'est-à-dire le degré d'instanciation des termes. Le type d'un prédicat est caractérisé par les types d'appel et de retour de ses arguments, ce qui permet d'en spécifier plus finement le comportement. Le système est déclaratif : l'utilisateur doit fournir les types de tous les prédicats. Un langage de types est défini, permettant d'exprimer la notion de polymorphisme paramétrique, ainsi que la relation d'inclusion entre types. Une condition suffisante de bon typage est présentée et validée théoriquement. Cette condition permet de vérifier qu'un programme a un comportement compatible avec les spécifications de types de ses prédicats. Un prototype du système a été réalisé, permettant une validation pratique de la condition de bon typage