Genetic improvement (GI) uses automated search to find improved versions of existing
software. We present a comprehensive survey of this nascent field of research with a focus …

A top-down method is presented for the derivation of algorithms from a formal specification
of a problem. This method has been implemented in a system called cypress. The synthesis …

Une personne ressent un probleme des qu'elle se trouve dans une situation ou elle désire
quelque chose alors qu'elle ne voit pas immédiatement la suite d'actionsa accomplir pour …

This paper gives an overview of the connection method, developed by the author in
Automated Theorem Proving. Its prominent features are illustrated with a number of …

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 …

Publisher Summary This chapter discusses artificial intelligence (AI) and software
engineering. It reviews the attempts to apply AI techniques to software engineering …

The paper traces the development of a family of high-performance proof systems out of
formal first-order logical systems due to Kurt Schütte. In a first step Schütte's basic classical …

Because of its promise to support human programmers in developing correct and efficient
program code and in reasoning about programs, automatic program synthesis has attracted …

Most work in automatic programming has focused primarily on the roles of deduction and
programming knowledge. However, the role played by knowledge of the task domain seems …

We present a probabilistic logic programming framework that allows the representation of
conditional probabilities. While conditional probabilities are the most commonly used …