Uses of Higher-Order Unification for Implementing Program Transformers.

John Hannan Dale Miller

Published in: ICLP/SLP (1988)

Keyphrases

higher order
high order
natural images
pairwise
markov random field
low order
markov models
computer programs
machine learning
lower order
test cases
anti unification
database
program execution
input image
multi agent
image segmentation
real time