Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

16

SNPD
2003

favoriteEmaildiscussreport

133views Artificial Intelligence» more SNPD 2003»

Deductive and Inductive Methods for Program Synthesis

13 years 5 months ago

Deductive and Inductive Methods for Program Synthesis

Download www.cs.ioc.ee

The paper discusses simple functional constraint networks and a value propagation method for program construction. Structural synthesis of programs is described as an example of deductive approach to program construction. An inductive method for program synthesis utilizing stochastic optimization algorithms is introduced to complement value propagation techniques.

Jaan Penjam, Elena Sanko

Real-time Traffic

Complement Value Propagation | Program Construction | SNPD 2003 | SNPD 2007 | Value Propagation Method |

claim paper

Related Content

» Constructing Induction Rules for Deductive Synthesis Proofs

» Inductive Synthesis of Equational Programs

» An Integration of Deductive Retrieval into Deductive Synthesis

» Genetic Programming and DeductiveInductive Learning A MultiStrategy Approach

» Automated Synthesis of Induction Axioms for Programs with SecondOrder Recursion

» The Representation of Program Synthesis in Higher Order Logic

» A Deductive System for FOID Based on Least Fixpoint Logic

» A simple inductive synthesis methodology and its applications

» Proof Styles in Operational Semantics

Post Info
More Details (n/a)

Added	01 Nov 2010
Updated	01 Nov 2010
Type	Conference
Year	2003
Where	SNPD
Authors	Jaan Penjam, Elena Sanko

Comments (0)