Proceedings ArticleDOI
Program synthesis by analogy
John Wade Ulrich,Robert N. Moll +1 more
Reads0
Chats0
TLDR
By extending a given analogy, a known program which solves a given problem is converted to a programWhich solves a different but analogous problem which is related by an initial specified analogy.Abstract:
By extending a given analogy, a known program which solves a given problem is converted to a program which solves a different but analogous problem. The domains of the two problems need not be the same but they must be related by an initial specified analogy. There are three features which distinguish the approach. First the analogy formation evolves gradually with the synthesis of the new program. Secondly the formation of the analogy is directed by the correctness proof of the known program. Finally the output of the synthesis process produces a correctness proof for the synthesized program.read more
Citations
More filters
Journal ArticleDOI
Synthesis: Dreams → Programs
Zohar Manna,Richard Waldinger +1 more
TL;DR: Deductive techniques are presented for deriving programs systematically from given specifications and have been incorporated in a running program-synthesis system, called DEDALUS.
Journal ArticleDOI
Automatic derivation of formal software specifications from informal descriptions
K. Miriyala,M.T. Harandi +1 more
TL;DR: An interactive system which derives formal specifications of data types and programs from their informal descriptions using common problem-solving techniques such as schemas, analogy, and difference-based reasoning to derive formal specifications.
Journal ArticleDOI
The Logic of Computer Programming
Zohar Manna,Richard Waldinger +1 more
TL;DR: Techniques derived from mathematical logic promise to provide an alternative to the conventional methodology for constructing, debugging, and optimizing computer programs.
Journal ArticleDOI
Program abstraction and instantiation
TL;DR: The formulation of analogies are suggested as a basic tool in program abstraction for transforming the existing programs into an abstract schema that represents the embedded technique.
Journal ArticleDOI
Maintenance of object-oriented systems during structural evolution
TL;DR: The calculus of class transformations is extended to include certain transformations that reflect not only the extension and reclassification of existing objects, but also structural changes (other than addition of attributes) in the original objects.
References
More filters
Book
Mathematical Theory of Computation
TL;DR: This book is a classic text on sequential program verification; it has been widely translated from the original Hebrew and is much in demand among graduate students in the field of computer science.
Proceedings Article
A paradigm for reasoning by analogy
TL;DR: A paradigm enabling heuristic problem solving programs to exploit an analogy between a current unsolved problem and a similar but previously solved problem to simplify its search for a solution is outlined.
Journal ArticleDOI
A paradigm for reasoning by analogy
TL;DR: In this article, a paradigm enabling heuristic problem solving programs to exploit an analogy between a current unsolved problem and similar but previously solved problems to simplify its search for a solution is outlined.
Proceedings Article
Knowledge and reasoning in program synthesis
Zohar Manna,Richard Waldinger +1 more
TL;DR: In this article, the authors describe some of the reasoning and programming capabilities of a projected synthesis system, including conditional tests, loops, and instructions with side effects in the program being constructed.