The following pages link to Synthesizing reactive programs (Q2915700):
Displaying 12 items.
- Integrating discrete controller synthesis into a reactive programming language compiler (Q378902) (← links)
- Compositional approach to the development of reactive algorithms (Q465979) (← links)
- Visibly pushdown modular games (Q515657) (← links)
- Editorial: Special issue on synthesis (Q2249656) (← links)
- Synthesizing structured reactive programs via deterministic tree automata (Q2346409) (← links)
- Special issue: Synthesis and SYNT 2014 (Q2407980) (← links)
- The Miracle of Reactive Programming (Q3585032) (← links)
- (Q4205072) (← links)
- (Q5079756) (← links)
- Functional reactive programming with liveness guarantees (Q5244803) (← links)
- Synthesizing reactive systems from hyperproperties (Q6045009) (← links)
- Reactive Answer Set Programming (Q6063885) (← links)