A design for an automatic programming system

Authors:
Douglas R. Smith
Affiliations:
Naval Postgraduate School, Monterey, California
Venue:
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
Year:
1981

Citing 3
Cited 0

A Deductive Approach to Program Synthesis

ACM Transactions on Programming Languages and Systems (TOPLAS)
A Discipline of Programming

A Discipline of Programming
Synthesis: Dreams ? Programs

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

The algorithm design problem is concerned with the construction of an algorithm satisfying a given specification of a problem. We present an overview of a system, called NAPS, which designs Algorithms in a top-down manner. Given a formal specification of a problem NAPS produces a top level algorithm plue specifications for any necessary subalgorithms. The specifications for the subalgorithms are produced in such a way that the top level algorithm will satisfy the original specifications if and only if subalgorithms can be built which satisfy the subalgorithms specifications.