Synthèse de programmes : connaissances et déduction dans les domaines d'application
Étude de la représentation, la structuration et l'utilisation de connaissances dans le cadre d'un projet de recherche en synthèse déductive de programmes. Les connaissances sont considérées comme des sous ensembles finis d'une théorie du premier ordre. Une attention particulière est p...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
1989
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00333349 http://tel.archives-ouvertes.fr/docs/00/33/33/49/PDF/Brena.Ramon_1989_these.pdf |