Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming.

Patrick Bahr Christian Graulund Rasmus Ejlers Møgelberg

Published in: CoRR (2019)

Keyphrases

reactive systems
transition systems
programming language
modal logic
computer programming
agent architecture
algebraic structure
information systems
database
artificial intelligence
model checking
programming course
formal language
computer algebra