---
title: "On Syntax-Directed, Semantics-Supported Program Synthesis"
authors:
  - "Wolfgang Bibel"
doi: ""
url: "https://ijcai.org/proceedings/1979/16"
pdf: "https://ijcai.org/proceedings/1979/0016.pdf"
venue: "Proceedings of the Sixth International Joint Conference on Artificial Intelligence"
year: 1979
pages: ""
track: ""
keywords:
---

# On Syntax-Directed, Semantics-Supported Program Synthesis

Wolfgang Bibel

*Proceedings of the Sixth International Joint Conference on Artificial Intelligence*.

## Abstract

A number of strategies for the synthesis of alg o rithms from a given input-output specification of a problem are presented which are centered around a few basic principles. It has been verified tor more than ten different algorithms that their uniform application in all cases results in a successful deductive synthesis. They include a spanning-tree algorithm, a graph-circuits algorithm ., a finding-the-ith-smallest-element algorithm, and a linear (string) pattern-matching algorithm. Two of them are presented here.