Principal Signatures for Higher-Order Program Modules.

Published in: J. Funct. Program. (1994)

Keyphrases

higher order
pairwise
natural images
lambda calculus
markov random field
computer programs
modular structure
advanced research projects agency
data mining
high level
multiscale
test cases
conditional random fields
program understanding