Containers for GUI Models

Tietueen suppeat tiedot
dc.contributor.authorStokke, Knut Anders
dc.contributor.authorBarash, Mikhail
dc.contributor.authorJärvi, Jaakko
dc.contributor.authorStenholm, Elisabeth
dc.contributor.authorRobbestad Gylterud, Håkon
dc.contributor.organizationfi=ohjelmistotekniikka|en=Software Engineering|
dc.contributor.organization-code1.2.246.10.2458963.20.71310837563
dc.converis.publication-id457352882
dc.converis.urlhttps://research.utu.fi/converis/portal/Publication/457352882
dc.date.accessioned2025-08-28T01:03:33Z
dc.date.available2025-08-28T01:03:33Z
dc.description.abstractWe 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.
dc.format.pagerange3
dc.format.pagerange5
dc.identifier.isbn979-8-4007-0634-9
dc.identifier.olddbid206936
dc.identifier.oldhandle10024/189963
dc.identifier.urihttps://www.utupub.fi/handle/11111/49512
dc.identifier.urlhttps://dl.acm.org/doi/10.1145/3660829.3660830
dc.identifier.urnURN:NBN:fi-fe2025082787512
dc.language.isoen
dc.okm.affiliatedauthorJärvi, Jaakko
dc.okm.discipline113 Computer and information sciencesen_GB
dc.okm.discipline113 Tietojenkäsittely ja informaatiotieteetfi_FI
dc.okm.internationalcopublicationinternational co-publication
dc.okm.internationalityInternational publication
dc.okm.typeA4 Conference Article
dc.publisher.countryUnited Statesen_GB
dc.publisher.countryYhdysvallat (USA)fi_FI
dc.publisher.country-codeUS
dc.relation.conferenceProgramming: The Art, Science, and Engineering of Programming
dc.relation.doi10.1145/3660829.3660830
dc.source.identifierhttps://www.utupub.fi/handle/10024/189963
dc.titleContainers for GUI Models
dc.title.bookProgramming '24 : Companion Proceedings of the 8th International Conference on the Art, Science, and Engineering of Programming
dc.year.issued2024

Tiedostot

Näytetään 1 - 1 / 1
Name:
3660829.3660830.pdf
Size:
453.8 KB
Format:
Adobe Portable Document Format
Lataa

Kokoelmat

Rinnakkaistallenteet