Global and Local Space Properties of Stream Programs.

Marco Gaboardi Romain Péchoux

Published in: FOPARA (2009)

Keyphrases

desirable properties
imperative programs
search space
databases
web services
low dimensional
vector space
higher dimensional
real time
learning algorithm
social networks
database systems
data streams
logic programming
sliding window
global information