Skip to Main content Skip to Navigation
Conference papers

A Cartesian Methodology for an Autonomous Program Synthesis System

Marta Franova 1
1 Apprentissage et Optimisation
LRI - Laboratoire de Recherche en Informatique
Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [24 references]  Display  Hide  Download

https://hal.inria.fr/hal-00955846
Contributor : Marta Franova Connect in order to contact the contributor
Submitted on : Wednesday, March 5, 2014 - 2:09:32 PM
Last modification on : Thursday, July 8, 2021 - 3:48:22 AM
Long-term archiving on: : Thursday, June 5, 2014 - 11:21:16 AM

File

icons_2014_2_10_40020.pdf
Explicit agreement for this submission

Identifiers

Citation

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⟩

Share

Metrics

Record views

88

Files downloads

114