Since both the coments and the structure of the book appeared to be successful, only minor
changes were made. In particular, some recent work in ATP has been incorporated so that …

Algorithm design is a challenging intellectual activity that provides a rich source of
observation and a test domain for a theory of problem-solving behavior. This paper …

By studying the problem-solving techniques that people use to design algorithms we can
learn something about building systems that automatically derive algorithms or assist human …

Computer programming is the process of translating a variety of vague and fragmentary
pieces of information about a task into an efficient machine executable program for doing …

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 …

This paper presents an overview and a survey of logic program synthesis. Logic program
synthesis is interpreted here in a broad way; it is concerned with the following question …

The presentation has three goals in mind. For one, it gives an introduction to various calculi
for first-order logic which should provide the reader with a good sense of them. Secondly, it …

An equational approach to the synthesis of functional and logic program is taken. In this
context, the synthesis task involves finding executable equations such that the given …

Program synthesis is a solution to the software crisis. If we had a program that develops
correct programs from specifications, then program validation and maintenance would …

We develop two applications of middle-out reasoning in inductive proofs: logic program
synthesis and the selection of induction schemes. Middle-out reasoning as part of proof …