Login / Signup
Diamonds are not forever: liveness in reactive programming with guarded recursion.
Patrick Bahr
Christian Uldal Graulund
Rasmus Ejlers Møgelberg
Published in:
Proc. ACM Program. Lang. (2021)
Keyphrases
</>
reactive systems
programming language
complex objects
fixed point
query answering
deductive databases
agent architecture
object oriented programming
computer programming
high level
computer programs
reactive planning