Skip to Main content Skip to Navigation
Theses

Un système déclaratif de types pour PROLOG

Résumé : 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.
Document type :
Theses
Complete list of metadatas

Cited literature [22 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00004731
Contributor : Thèses Imag <>
Submitted on : Tuesday, February 17, 2004 - 3:06:21 PM
Last modification on : Friday, November 6, 2020 - 4:13:06 AM
Long-term archiving on: : Thursday, September 13, 2012 - 1:20:18 PM

Identifiers

  • HAL Id : tel-00004731, version 1

Collections

CNRS | UGA

Citation

Lan Nguyen Phuong. Un système déclaratif de types pour PROLOG. Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 1992. Français. ⟨tel-00004731⟩

Share

Metrics

Record views

367

Files downloads

1239