Synthesis: Dreams → Programs

Author

Manna, Zohar ; Waldinger, Richard

Author_Institution

Department of Computer Science, Stanford University, Stanford, CA 94305, and with the Department of Applied Mathematics, Weizmann Institute of Science

Issue

4

fYear

1979

fDate

7/1/1979 12:00:00 AM

Firstpage

294

Lastpage

328

Abstract

Deductive techniques are presented for deriving programs systematically from given specifications. The specifications express the purpose of the desired program without giving any hint of the algorithm to be employed. The basic approach is to transform the specifications repeatedly according to certain rules, until a satisfactory program is produced. The rules are guided by a number of strategic controls. These techniques have been incorporated in a running program-synthesis system, called DEDALUS.

Keywords

Data abstraction; derivation of programs; modification of programs; programming methodology; specification of programs; structured programming; synthesis of programs; systematic program development; transformation of programs; Algorithms; Artificial intelligence; Computer languages; Computer science; High level languages; Mathematics; Programmable logic arrays; Software engineering; Specification languages; Vocabulary; Data abstraction; derivation of programs; modification of programs; programming methodology; specification of programs; structured programming; synthesis of programs; systematic program development; transformation of programs;

fLanguage

English

Journal_Title

Software Engineering, IEEE Transactions on

Publisher

ieee

ISSN

0098-5589

Type

jour

DOI

10.1109/TSE.1979.234198

Filename

1702636