Safe stream-based programming with refinement types.

Benno Stein Lazaro Clapp Manu Sridharan Bor-Yuh Evan Chang

Published in: ASE (2018)

Keyphrases

data streams
real time
user interface
object oriented programming
data sets
neural network
artificial intelligence
decision making
knowledge base
software development
streaming data
stream data