Principal Signatures for Higher-Order Program Modules.

Published in: POPL (1992)

Keyphrases

higher order
natural images
high order
lambda calculus
low order
markov random field
computer programs
signature recognition
markov models
real world
static analysis
programming environment
objective function
functional modules
java programs
program execution
case study
program understanding
e learning