Diamonds are not forever: Liveness in reactive programming with guarded recursion.

Patrick Bahr Christian Uldal Graulund Rasmus Ejlers Møgelberg

Published in: CoRR (2020)

Keyphrases

programming language
reactive systems
deductive databases
programming environment
fixed point
object oriented programming
data sets
general purpose
database
relational databases
complex objects
transitive closure
computer programming
high level language