A logical analysis of aliasing in imperative higher-order functions.

Martin Berger Kohei Honda Nobuko Yoshida

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

Keyphrases

higher order
databases
pairwise
statistical analysis
real time
data sets
neural network
image segmentation
multiscale
graphical models
quantitative analysis