Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs.

Jane Hesketh Alan Bundy Alan Smaill

Published in: CADE (1992)

Keyphrases

program synthesis
recursive programs
knowledge base
control system
artificial intelligence
database systems
knowledge representation
open source
data management