Stepwise refinement of heap-manipulating code in Chalice.

K. Rustan M. Leino Kuat Yessenov

Published in: Formal Aspects Comput. (2012)

Keyphrases

data structure
source code
three dimensional
code generation
data sets
real world
information systems
feature selection
probabilistic model