A4 Vertaisarvioitu artikkeli konferenssijulkaisussa
Containers for GUI Models
Tekijät: Stokke, Knut Anders; Barash, Mikhail; Järvi, Jaakko; Stenholm, Elisabeth; Robbestad Gylterud, Håkon
Toimittaja: Söderberg, Emma; Church, Luke
Konferenssin vakiintunut nimi: Programming: The Art, Science, and Engineering of Programming
Kustantaja: Association for Computing Machinery, Inc
Julkaisuvuosi: 2024
Kokoomateoksen nimi: Programming '24 : Companion Proceedings of the 8th International Conference on the Art, Science, and Engineering of Programming
Tietokannassa oleva lehden nimi: Programming Companion 2024 - Proceedings of the 8th International Conference on on the Art, Science, and Engineering of Programming
Aloitussivu: 3
Lopetussivu: 5
ISBN: 979-8-4007-0634-9
DOI: https://doi.org/10.1145/3660829.3660830
Verkko-osoite: https://dl.acm.org/doi/10.1145/3660829.3660830
Rinnakkaistallenteen osoite: https://research.utu.fi/converis/portal/detail/Publication/457352882
We present an ongoing work towards a programming approach for Graphical User Interfaces (GUIs), where structural operations on GUI data structures (such as inserting, removing, or reorganizing) can be declaratively specified and their implementations automatically generated. Concretely, we investigate how the type-theoretical notion of containers, an abstract formalism for specifying data structures, can be used for defining manipulatable GUI structures that have (multi-way) dependencies between their elements.
Ladattava julkaisu This is an electronic reprint of the original article. |  |
