Les types en Prolog : un système d'inférence de type et ses applications

Contribution à l'approche inferentielle pour l'introduction de la notion de type en Prolog. Cette approche consiste à déduire automatiquement d'un programme les types des prédicats. Le programmeur peut ainsi s'assurer de la conformité du programme à ses intentions. Une méthode d&...

Full description

Bibliographic Details
Main Author:	Azzoune, Hamid
Language:	FRE
Published:	1989
Subjects:	[INFO:INFO_MO] Computer Science/Modeling and Simulation Prolog types vérification de type inférence de type
Online Access:	http://tel.archives-ouvertes.fr/tel-00332314 http://tel.archives-ouvertes.fr/docs/00/33/24/26/PDF/Azzoune.Hamid_1989_these_v2.pdf

id	ndltd-CCSD-oai-tel.archives-ouvertes.fr-tel-00332314
record_format	oai_dc
spelling	ndltd-CCSD-oai-tel.archives-ouvertes.fr-tel-003323142013-01-07T18:30:19Z http://tel.archives-ouvertes.fr/tel-00332314 http://tel.archives-ouvertes.fr/docs/00/33/24/26/PDF/Azzoune.Hamid_1989_these_v2.pdf Les types en Prolog : un système d'inférence de type et ses applications Azzoune, Hamid [INFO:INFO_MO] Computer Science/Modeling and Simulation Prolog types vérification de type inférence de type Contribution à l'approche inferentielle pour l'introduction de la notion de type en Prolog. Cette approche consiste à déduire automatiquement d'un programme les types des prédicats. Le programmeur peut ainsi s'assurer de la conformité du programme à ses intentions. Une méthode d'inférence de type pour Prolog est présentée. Elle se base sur une simulation de l'unification et une simulation de la résolution, avec un traitement particulier sur les appels récursifs 1989-01-11 FRE PhD thesis
collection	NDLTD
language	FRE
sources	NDLTD
topic	[INFO:INFO_MO] Computer Science/Modeling and Simulation Prolog types vérification de type inférence de type
spellingShingle	[INFO:INFO_MO] Computer Science/Modeling and Simulation Prolog types vérification de type inférence de type Azzoune, Hamid Les types en Prolog : un système d'inférence de type et ses applications
description	Contribution à l'approche inferentielle pour l'introduction de la notion de type en Prolog. Cette approche consiste à déduire automatiquement d'un programme les types des prédicats. Le programmeur peut ainsi s'assurer de la conformité du programme à ses intentions. Une méthode d'inférence de type pour Prolog est présentée. Elle se base sur une simulation de l'unification et une simulation de la résolution, avec un traitement particulier sur les appels récursifs
author	Azzoune, Hamid
author_facet	Azzoune, Hamid
author_sort	Azzoune, Hamid
title	Les types en Prolog : un système d'inférence de type et ses applications
title_short	Les types en Prolog : un système d'inférence de type et ses applications
title_full	Les types en Prolog : un système d'inférence de type et ses applications
title_fullStr	Les types en Prolog : un système d'inférence de type et ses applications
title_full_unstemmed	Les types en Prolog : un système d'inférence de type et ses applications
title_sort	les types en prolog : un système d'inférence de type et ses applications
publishDate	1989
url	http://tel.archives-ouvertes.fr/tel-00332314 http://tel.archives-ouvertes.fr/docs/00/33/24/26/PDF/Azzoune.Hamid_1989_these_v2.pdf
work_keys_str_mv	AT azzounehamid lestypesenprologunsystemedinferencedetypeetsesapplications
_version_	1716453026182463488

Les types en Prolog : un système d'inférence de type et ses applications

Similar Items