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è...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
1988
|
| Subjects: | |
| 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 |