LoRe: Local-First Reactive Programming with Verified Safety Guarantees.

Published in: SPLASH Companion (2022)

Keyphrases

programming language
reactive systems
programming environment
information systems
computer programming
real time
relational databases
data model
agent architecture
development environment
object oriented programming
theoretical guarantees
programming environments
coal mining
reactive planning