SMT-based checking of predicate-qualified types for Scala.

Georg Stefan Schmid Viktor Kuncak

Published in: SCALA@SPLASH (2016)

Keyphrases

neural network
computer vision
information systems
image processing
data sets
case study
image sequences