Achievements and Prospects of Program Synthesis

Authors:
Pierre Flener
Affiliations:
-
Venue:
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Year:
2002

Citing 4
Cited 3

Proofs as programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
A 15 Year Perspective on Automatic Programming

IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming

IEEE Transactions on Software Engineering
The B-book: assigning programs to meanings

The B-book: assigning programs to meanings

Using Computer Algebra techniques for the specification, verification and synthesis of recursive programs

Mathematics and Computers in Simulation
An introduction to inductive programming

Artificial Intelligence Review
Schema-guided synthesis of imperative programs by constraint solving

LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation

Quantified Score

Hi-index	0.00

Visualization

Abstract

Program synthesis research aims at developing a program that develops correct programs from specifications, with as much or as little interaction as the specifier wants. I overview the main achievements in deploying logic for program synthesis. I also outline the prospects of such research, arguing that, while the technology scales up from toy programs to real-life software and to commercially viable tools, computational logic will continue to be a driving force behind this progress.