Sub-unification: A Tool for Efficient Induction of Recursive Programs.

Stephane Lapointe Stan Matwin

Published in: ML (1992)

Keyphrases

program synthesis
prior knowledge
recursive programs
management system
learning objects
open source