Safe Stream-Based Programming with Refinement Types.

Benno Stein Lazaro Clapp Manu Sridharan Bor-Yuh Evan Chang

Published in: CoRR (2018)

Keyphrases

programming language
real time
databases
decision making
sliding window
information retrieval
information systems
computer programming
programming environment
programming course
step wise