ObjChart: Tangible Specification of Reactive Object Behavior
Abstract elided by the publisher.
Related papers
- Time-Awareness in Object Exploration Tools: Toward In Situ Omniscient Debugging Onward! 2023
- Functional reactive programming from first principles PLDI 2000
- Adapting Behaviors via Reactive Synthesis CAV 2021
- Reactive Control Improvisation CAV 2018
- Local and Compositional Reasoning for Optimized Reactive Systems CAV 2019
- Tangible functional programming ICFP 2007
- Logic of global synchrony TOPLAS 2004
- Synthesis of coordination programs from linear temporal specifications POPL 2020