Carnegie Mellon University
Browse
Towards_Reactive_Synthesis_as_a_Programming_Paradigm.pdf (422.46 kB)

Towards Reactive Synthesis as a Programming Paradigm

Download (422.46 kB)
conference contribution
posted on 2024-05-09, 14:50 authored by Leyi Cui, Raven Rothkopf, Mark Santolucito

Reactive program synthesis from logical specifications has yet to match the user-friendly approach of examplebased programming for spreadsheets, despite its success in specific domains. A main challenge hindering the broader adoption of reactive synthesis is in the complexity of specification engineering in temporal logics. We map out challenges and tools that arise as users write temporal logic specifications in Temporal Stream Logic. Our goal is to provide a roadmap for future usability work that can elevate temporal specification engineering for synthesis to match the usability support available for software engineering. By generalizing these concepts, we can gain a deeper insight into the challenges people face when reasoning about the temporal behavior of their systems.

Funding

NSF Grant CCF-2105208

History

Date

2024-02-19

Usage metrics

    Licence

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC