Program Composition via Unification.

Limor Fix Nissim Francez Orna Grumberg

Published in: ICALP (1992)

Keyphrases

higher order
theorem proving
web service composition
learning algorithm
feature selection
image segmentation
multiresolution
theorem prover
computer programs
programming environment
java programs
program synthesis
equational theories