Skip to Main content Skip to Navigation
Theses

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

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

https://tel.archives-ouvertes.fr/tel-00329935
Contributor : Thèses Imag <>
Submitted on : Monday, October 13, 2008 - 4:38:28 PM
Last modification on : Friday, November 6, 2020 - 4:03:21 AM
Long-term archiving on: : Monday, June 7, 2010 - 5:52:15 PM

Identifiers

  • HAL Id : tel-00329935, version 1

Collections

Citation

Marie-Laure Potet. Preuves et stratégies pour la synthèse déductive de programmes. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1988. Français. ⟨tel-00329935⟩

Share

Metrics

Record views

297

Files downloads

87