SciFe: Scala framework for efficient enumeration of data structures with invariants.

Ivan Kuraj Viktor Kuncak

Published in: SCALA@ECOOP (2014)

Keyphrases

data structure
main contribution
lightweight
theoretical framework
neural network
metadata
probabilistic model
algorithms and data structures
real world
reinforcement learning
data streams
domain specific
cost effective