A Cartesian Methodology for an Autonomous Program Synthesis System

Marta Franova 1
1 Apprentissage et Optimisation
LRI - Laboratoire de Recherche en Informatique
Résumé : Dans cet article, nous présentons la différence la plus importante entre les approches Newtonienne et Cartésienne quand elles sont appliquées à la synthèse de programmes. La contribution majeure de cet article est une discussion sur la construction créative d'un démonstrateur de théorèmes. Nous illustrons ces idées sur l'analyse de la créativité nécessaire à la conception des axiomes de Peano pour les entiers naturels. Cette analyse est ensuite appliquée au cas plus complexe du cadre général pour notre 'Méthodologie de l'appariement constructif' qui se trouve être un exemple de l'approche Cartésienne à la création d'un démonstrateur de théorèmes pour la synthèse de programmes.
Type de document :
Communication dans un congrès
Marko Jäntti and Gary Weckman,. ICONS 2014, The Ninth International Conference on Systems, Feb 2014, Nice, France. pp.22-27, 2014, 〈http://www.thinkmind.org/index.php?view=article&articleid=icons_2014_2_10_40020〉. 〈10.000/ISBN978-1-61208-319-3〉
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00955846
Contributeur : Marta Franova <>
Soumis le : mercredi 5 mars 2014 - 14:09:32
Dernière modification le : mardi 24 avril 2018 - 13:37:58
Document(s) archivé(s) le : jeudi 5 juin 2014 - 11:21:16

Fichier

icons_2014_2_10_40020.pdf
Accord explicite pour ce dépôt

Identifiants

Collections

Citation

Marta Franova. A Cartesian Methodology for an Autonomous Program Synthesis System. Marko Jäntti and Gary Weckman,. ICONS 2014, The Ninth International Conference on Systems, Feb 2014, Nice, France. pp.22-27, 2014, 〈http://www.thinkmind.org/index.php?view=article&articleid=icons_2014_2_10_40020〉. 〈10.000/ISBN978-1-61208-319-3〉. 〈hal-00955846〉

Partager

Métriques

Consultations de la notice

260

Téléchargements de fichiers

122