Synthesis: Dreams ? Programs

Authors:
Z. Manna;R. Waldinger
Affiliations:
Department of Computer Science, Stanford University, Stanford, CA 94305, and with the Department of Applied Mathematics, Weizmann Institute of Science;-
Venue:
IEEE Transactions on Software Engineering
Year:
1979

Citing 0
Cited 14

Automatic programming: A tutorial on formal methodologies

Journal of Symbolic Computation
A Survey and a Categorization Scheme of Automatic Programming Systems

GCSE '99 Proceedings of the First International Symposium on Generative and Component-Based Software Engineering
Limitation and Possibilities of Automation on the Way from Intention → Program

Proceedings of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05
How to Create the Magic Wand?Currently Implementable Formulation of the Problem

Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06
On Implementability of the Formal Specifications

Proceedings of the 2007 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the sixth SoMeT_07
A concurrent automatic programming system

Proceedings of the 46th Annual Southeast Regional Conference on XX
Automatic synthesis of numerical computer programs

IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
A design for an automatic programming system

IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
APE: an expert system for automatic programming from abstract specifications of data types and algorithms

IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
A deductive approach to program synthesis

IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
Magic Wand Approach to Representation of Personal Technologies

Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
Inductive synthesis of equational programs

AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Synthesizing data structure manipulations from storyboards

Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
A Multiple-Clause Folding Rule Using Instantiation and Generalization

Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2

Quantified Score

Hi-index	0.00

Visualization

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.