Login / Signup

Safe stream-based programming with refinement types.

Benno SteinLazaro ClappManu SridharanBor-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