Implementing Higher-Order Term-Rewriting for Program Transformation in lambdaProlog.

Francesca Arcelli Fontana Ferrante Formato

Published in: GULP-PRODE (1995)

Keyphrases

term rewriting
higher order
theorem proving
theorem prover
knuth bendix
natural images
operational semantics
high order
rewrite systems
markov random field
pairwise
computer programs
conditional random fields
program understanding
cooperative
machine learning
first order logic