A Cartesian Methodology for an Autonomous Program Synthesis System - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

A Cartesian Methodology for an Autonomous Program Synthesis System

Marta Franova

Résumé

In this paper, we present the main difference between Newtonian and Cartesian approaches to scientific creativity when related to Program Synthesis (PS). The main contribution of the paper is a thorough discussion on the creative building of a theorem prover. We illustrate these ideas by an analysis of Peano's axioms defining the set of non negative integers, from the point of view of creativity. This analysis is then applied to the more complex case of the general framework for our own 'Constructive Matching Methodology' (CMM) as a Cartesian approach to the creation of an autonomous theorem prover for PS.
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.
Fichier principal
Vignette du fichier
icons_2014_2_10_40020.pdf (95.21 Ko) Télécharger le fichier
Origine : Accord explicite pour ce dépôt
Loading...

Dates et versions

hal-00955846 , version 1 (05-03-2014)

Identifiants

Citer

Marta Franova. A Cartesian Methodology for an Autonomous Program Synthesis System. ICONS 2014, The Ninth International Conference on Systems, IARIA, Feb 2014, Nice, France. pp.22-27, ⟨10.000/ISBN978-1-61208-319-3⟩. ⟨hal-00955846⟩
96 Consultations
127 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More