{"ID":2880575,"CreatedAt":"2026-06-01T04:54:23.091178241Z","UpdatedAt":"2026-06-01T04:54:23.091178241Z","DeletedAt":null,"paper_url":"https://arxiv.org/abs/2508.13610","arxiv_id":"2508.13610","title":"Reactive Semantics for User Interface Description Languages","abstract":"User Interface Description Languages (UIDLs) are high-level languages that facilitate the development of Human-Machine Interfaces, such as Graphical User Interface (GUI) applications. They usually provide first-class primitives to specify how the program reacts to an external event (user input, network message), and how data flows through the program. Although these domain-specific languages are now widely used to implement safety-critical GUIs, little work has been invested in their formalization and verification. In this paper, we propose a denotational semantic model for a core reactive UIDL, Smalite, which we argue is expressive enough to encode constructs from more realistic languages. This preliminary work may be used as a stepping stone to produce a formally verified compiler for UIDLs.","short_abstract":"User Interface Description Languages (UIDLs) are high-level languages that facilitate the development of Human-Machine Interfaces, such as Graphical User Interface (GUI) applications. They usually provide first-class primitives to specify how the program reacts to an external event (user input, network message), and ho...","url_abs":"https://arxiv.org/abs/2508.13610","url_pdf":"https://arxiv.org/pdf/2508.13610v1","authors":"[\"Basile Pesin\",\"Celia Picard\",\"Cyril Allignol\"]","published":"2025-08-19T08:16:28Z","proceeding":"cs.PL","tasks":"[\"cs.PL\",\"cs.HC\",\"cs.SE\"]","methods":"[]","has_code":false}