scholarly journals Synthesis of Asynchronous Reactive Programs from Temporal Specifications

2018 ◽  
pp. 367-385 ◽  
Author(s):  
Suguman Bansal ◽  
Kedar S. Namjoshi ◽  
Yaniv Sa’ar
Keyword(s):  
Temporal Specifications ◽  
Reactive Programs

scholarly journals Interactive synthesis of temporal specifications from examples and natural language

2020 ◽  
Vol 4 (OOPSLA) ◽  
pp. 1-26
Author(s):  
Ivan Gavran ◽  
Eva Darulova ◽  
Rupak Majumdar
Keyword(s):  
Natural Language ◽  
Temporal Specifications

Automatically closing open reactive programs

1998 ◽  
Vol 33 (5) ◽  
pp. 345-357 ◽  
Author(s):  
Christopher Colby ◽  
Patrice Godefroid ◽  
Lalita Jategaonkar Jagadeesan
Keyword(s):  
Reactive Programs

scholarly journals Synthesis of coordination programs from linear temporal specifications

2020 ◽  
Vol 4 (POPL) ◽  
pp. 1-27
Author(s):  
Suguman Bansal ◽  
Kedar S. Namjoshi ◽  
Yaniv Sa'ar
Keyword(s):  
Temporal Specifications

scholarly journals Synthesizing functional reactive programs

2019 ◽  
Author(s):  
Bernd Finkbeiner ◽  
Felix Klein ◽  
Ruzica Piskac ◽  
Mark Santolucito
Keyword(s):  
Reactive Programs
Sign in / Sign up

Export Citation Format

Share Document