Conference
Towards Reactive Synthesis as a Programming Paradigm
| Τίτλος: | Towards Reactive Synthesis as a Programming Paradigm |
|---|---|
| Συγγραφείς: | Leyi Cui, Raven Rothkopf, Mark Santolucito |
| Έτος έκδοσης: | 2024 |
| Συλλογή: | KiltHub Research from Carnegie Mellon University |
| Θεματικοί όροι: | Human-computer interaction, Programming languages, Program Synthesis, Reactive Synthesis, Temporal Stream Logic, Specification Engineering Challenges and Tools, Computer-Human Interaction |
| Περιγραφή: | 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. |
| Τύπος εγγράφου: | conference object |
| Γλώσσα: | unknown |
| Relation: | https://figshare.com/articles/conference_contribution/Towards_Reactive_Synthesis_as_a_Programming_Paradigm/25587741 |
| DOI: | 10.1184/R1/25587741.v1 |
| Διαθεσιμότητα: | https://doi.org/10.1184/R1/25587741.v1 https://figshare.com/articles/conference_contribution/Towards_Reactive_Synthesis_as_a_Programming_Paradigm/25587741 |
| Rights: | CC BY 4.0 |
| Αριθμός Καταχώρησης: | edsbas.799CEC0 |
| Βάση Δεδομένων: | BASE |
καταχωρήστε σχόλιο πρώτοι!