Program synthesis : knowledge and deduction in application domains
Synthèse de programmes : connaissances et déduction dans les domaines d'application
Résumé
É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 prêtée au problème du guidage de l'utilisation des connaissances en synthèse de programmes