Achievements and prospects of program synthesis

DOI10.1007/3-540-45628-7_13MaRDI QIDQ4707743zbMATH OpenFDO

Authors Pierre Flener

Publication date 11 June 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2407/24070310.htm

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Synthesis of programs in computational logic
• From program verification to program synthesis
• Programmable program synthesis
• scientific article; zbMATH DE number 792049
• Counterexample guided inductive synthesis modulo theories

Cited in

(14)

• Using computer algebra techniques for the specification, verification and synthesis of recursive programs
• An abstract formalization of correct schemas for program synthesis
• Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques
• Look for the proof to find the program: decorated-component-based program synthesis
• Defining behaviorizeable relations to enable inference in semi-automatic program synthesis
• Preface for the SYNT
• Synthesis of positive logic programs for checking a class of definitions with infinite quantification
• Program boosting: program synthesis via crowd-sourcing
• Connecting program synthesis and reachability: automatic program repair using test-input generation
• The next 700 synthesis calculi
• Synthesis of list algorithms by mechanical proving
• Synthesis of programs in computational logic
• Programmable program synthesis
• Software tools for automation of parallel programming on the basis of algebra of algorithms

Describes a project that uses

Uses Software

• Nuprl
• Specware

This page was built for publication: Achievements and prospects of program synthesis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4707743)