Realizability Interpretation of Coinductive Definitions and Program Synthesis with Streams.

Published in: Theor. Comput. Sci. (1994)

Keyphrases

program synthesis
data streams
recursive programs
image interpretation
sliding window
real time
artificial intelligence
stream processing
transactional data
database
high level
database systems
feature space
general purpose
continuous queries
relational learning