Streams of Approximations, Equivalence of Recursive Effectful Programs.

Niccolò Veltri Niels F. W. Voorneveld

Published in: MPC (2022)

Keyphrases

recursive programs
datalog programs
fixpoint
program synthesis
real time
data mining
closed form
computer programs
databases
neural network
data streams
logic programs
streaming data
computationally tractable
transactional data