Semantics and Compilation of Recursive Sequential Streams in 8½.

Jean-Louis Giavitto Dominique De Vito Olivier Michel

Published in: PLILP (1997)

Keyphrases

data streams
formal semantics
logic programming
transactional data
real time
databases
conceptual model
semantic representation
stream processing
recursive functions
transformation rules