Top-Down Synthesis of Divide-and-Conquer Algorithms
Douglas R. Smith, Kestrel Institute, 1801 Page Mill Road, Palo Alto, CA 94304, U.S.A.
ABSTRACT
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 process involves the top-down decomposition of the initial specification into a hierarchy of specifications for subproblems. Synthesizing programs for each of these subproblems results in the composition of a hierarchically structured program. The initial specification is allowed to be partial in that some or all of the input conditions may be missing. CYPRESS completes the specification and produces a totally correct ...
Get Readings in Artificial Intelligence and Software Engineering now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
