Small bisimulations for reasoning about higher-order imperative programs.

Vasileios Koutavas Mitchell Wand

Published in: POPL (2006)

Keyphrases

higher order
imperative programs
pairwise
high order
small number
natural images
markov random field
lambda calculus
hidden markov models