On Higher Order Recursive Program Schemes.

Zurab Khasidashvili

Published in: CAAP (1994)

Keyphrases

higher order
recursive programs
high order
pairwise
markov random field
natural images
low order
search algorithm
database systems
neural network
markov models
computer programs
static analysis
program execution
program synthesis
anti unification
artificial intelligence