Table of Contents
Chapter 1: Introduction to Deductive Synthesis
Chapter 2: A Deductive Approach to Program Synthesis
MATHEMATICAL INDUCTION AND THE FORMATION OF RECURSIVE CALLS
A COMPLETE EXAMPLE: FINDING THE QUOTIENT OF TWO INTEGERS
THE FORMATION OF AUXILIARY PROCEDURES
COMPARISON WITH THE PURE TRANSFORMATION-RULE APPROACH
Chapter 3: Top-Down Synthesis of Divide-and-Conquer Algorithms
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.
