Preuves et stratégies pour la synthèse déductive de programmes

Présentation d'une approche déductive basée sur l'instantiation progressive de schémas de programmes fonctionnels. Un système formel de preuve est décrit dans lequel le lien entre schémas de programmes et schémas de propriétés est exhibe. La complétude relative et la correction de ce systè...

Full description

Bibliographic Details
Main Author:	Potet, Marie-Laure
Language:	FRE
Published:	1988
Subjects:	[INFO:INFO_MO] Computer Science/Modeling and Simulation synthèse de programmes démonstration automatique
Online Access:	http://tel.archives-ouvertes.fr/tel-00329935 http://tel.archives-ouvertes.fr/docs/00/32/99/35/PDF/Potet.Marie-Laure_1988_these.pdf

id	ndltd-CCSD-oai-tel.archives-ouvertes.fr-tel-00329935
record_format	oai_dc
spelling	ndltd-CCSD-oai-tel.archives-ouvertes.fr-tel-003299352013-01-07T18:30:35Z http://tel.archives-ouvertes.fr/tel-00329935 http://tel.archives-ouvertes.fr/docs/00/32/99/35/PDF/Potet.Marie-Laure_1988_these.pdf Preuves et stratégies pour la synthèse déductive de programmes Potet, Marie-Laure [INFO:INFO_MO] Computer Science/Modeling and Simulation synthèse de programmes démonstration automatique Présentation d'une approche déductive basée sur l'instantiation progressive de schémas de programmes fonctionnels. Un système formel de preuve est décrit dans lequel le lien entre schémas de programmes et schémas de propriétés est exhibe. La complétude relative et la correction de ce système sont prouvées notamment pour les fonctions partiellement définies. Des stratégies, guidées par l'utilisateur, sont ensuite proposées qui permettent de caractériser les propriétés nécessaires, propres à chaque schema, en termes de recherche de préconditions 1988-06-22 FRE PhD thesis
collection	NDLTD
language	FRE
sources	NDLTD
topic	[INFO:INFO_MO] Computer Science/Modeling and Simulation synthèse de programmes démonstration automatique
spellingShingle	[INFO:INFO_MO] Computer Science/Modeling and Simulation synthèse de programmes démonstration automatique Potet, Marie-Laure Preuves et stratégies pour la synthèse déductive de programmes
description	Présentation d'une approche déductive basée sur l'instantiation progressive de schémas de programmes fonctionnels. Un système formel de preuve est décrit dans lequel le lien entre schémas de programmes et schémas de propriétés est exhibe. La complétude relative et la correction de ce système sont prouvées notamment pour les fonctions partiellement définies. Des stratégies, guidées par l'utilisateur, sont ensuite proposées qui permettent de caractériser les propriétés nécessaires, propres à chaque schema, en termes de recherche de préconditions
author	Potet, Marie-Laure
author_facet	Potet, Marie-Laure
author_sort	Potet, Marie-Laure
title	Preuves et stratégies pour la synthèse déductive de programmes
title_short	Preuves et stratégies pour la synthèse déductive de programmes
title_full	Preuves et stratégies pour la synthèse déductive de programmes
title_fullStr	Preuves et stratégies pour la synthèse déductive de programmes
title_full_unstemmed	Preuves et stratégies pour la synthèse déductive de programmes
title_sort	preuves et stratégies pour la synthèse déductive de programmes
publishDate	1988
url	http://tel.archives-ouvertes.fr/tel-00329935 http://tel.archives-ouvertes.fr/docs/00/32/99/35/PDF/Potet.Marie-Laure_1988_these.pdf
work_keys_str_mv	AT potetmarielaure preuvesetstrategiespourlasynthesedeductivedeprogrammes
_version_	1716453004524126208

Preuves et stratégies pour la synthèse déductive de programmes

Similar Items