Conference
Προβολή σε EDS

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
FullText Text:
  Availability: 0
CustomLinks:
  – Url: https://doi.org/10.1184/R1/25587741.v1#
    Name: EDS - BASE (ns324271)
    Category: fullText
    Text: View record from BASE
Header DbId: edsbas
DbLabel: BASE
An: edsbas.799CEC0
RelevancyScore: 960
AccessLevel: 3
PubType: Conference
PubTypeId: conference
PreciseRelevancyScore: 959.983581542969
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Towards Reactive Synthesis as a Programming Paradigm
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Leyi+Cui%22">Leyi Cui</searchLink><br /><searchLink fieldCode="AR" term="%22Raven+Rothkopf%22">Raven Rothkopf</searchLink><br /><searchLink fieldCode="AR" term="%22Mark+Santolucito%22">Mark Santolucito</searchLink>
– Name: DatePubCY
  Label: Publication Year
  Group: Date
  Data: 2024
– Name: Subset
  Label: Collection
  Group: HoldingsInfo
  Data: KiltHub Research from Carnegie Mellon University
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Human-computer+interaction%22">Human-computer interaction</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+languages%22">Programming languages</searchLink><br /><searchLink fieldCode="DE" term="%22Program+Synthesis%22">Program Synthesis</searchLink><br /><searchLink fieldCode="DE" term="%22Reactive+Synthesis%22">Reactive Synthesis</searchLink><br /><searchLink fieldCode="DE" term="%22Temporal+Stream+Logic%22">Temporal Stream Logic</searchLink><br /><searchLink fieldCode="DE" term="%22Specification+Engineering+Challenges+and+Tools%22">Specification Engineering Challenges and Tools</searchLink><br /><searchLink fieldCode="DE" term="%22Computer-Human+Interaction%22">Computer-Human Interaction</searchLink>
– Name: Abstract
  Label: Description
  Group: Ab
  Data: 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.
– Name: TypeDocument
  Label: Document Type
  Group: TypDoc
  Data: conference object
– Name: Language
  Label: Language
  Group: Lang
  Data: unknown
– Name: NoteTitleSource
  Label: Relation
  Group: SrcInfo
  Data: https://figshare.com/articles/conference_contribution/Towards_Reactive_Synthesis_as_a_Programming_Paradigm/25587741
– Name: DOI
  Label: DOI
  Group: ID
  Data: 10.1184/R1/25587741.v1
– Name: URL
  Label: Availability
  Group: URL
  Data: https://doi.org/10.1184/R1/25587741.v1<br />https://figshare.com/articles/conference_contribution/Towards_Reactive_Synthesis_as_a_Programming_Paradigm/25587741
– Name: Copyright
  Label: Rights
  Group: Cpyrght
  Data: CC BY 4.0
– Name: AN
  Label: Accession Number
  Group: ID
  Data: edsbas.799CEC0
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsbas&AN=edsbas.799CEC0
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1184/R1/25587741.v1
    Languages:
      – Text: unknown
    Subjects:
      – SubjectFull: Human-computer interaction
        Type: general
      – SubjectFull: Programming languages
        Type: general
      – SubjectFull: Program Synthesis
        Type: general
      – SubjectFull: Reactive Synthesis
        Type: general
      – SubjectFull: Temporal Stream Logic
        Type: general
      – SubjectFull: Specification Engineering Challenges and Tools
        Type: general
      – SubjectFull: Computer-Human Interaction
        Type: general
    Titles:
      – TitleFull: Towards Reactive Synthesis as a Programming Paradigm
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Leyi Cui
      – PersonEntity:
          Name:
            NameFull: Raven Rothkopf
      – PersonEntity:
          Name:
            NameFull: Mark Santolucito
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2024
          Identifiers:
            – Type: issn-locals
              Value: edsbas
            – Type: issn-locals
              Value: edsbas.oa
ResultId 1