{"id":"https://openalex.org/W2887710565","doi":"https://doi.org/10.1145/3236950.3236962","title":"Declarative GUIs","display_name":"Declarative GUIs","publication_year":2018,"publication_date":"2018-08-14","ids":{"openalex":"https://openalex.org/W2887710565","doi":"https://doi.org/10.1145/3236950.3236962","mag":"2887710565"},"language":"en","primary_location":{"id":"doi:10.1145/3236950.3236962","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3236950.3236962","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066419161","display_name":"Stephan Adelsberger","orcid":"https://orcid.org/0000-0001-5503-1785"},"institutions":[{"id":"https://openalex.org/I102248843","display_name":"Vienna University of Economics and Business","ror":"https://ror.org/03yn8s215","country_code":"AT","type":"education","lineage":["https://openalex.org/I102248843"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Stephan Adelsberger","raw_affiliation_strings":["Department of Information Systems and Operations, Vienna University of Economics, Vienna, Austria, Europe"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information Systems and Operations, Vienna University of Economics, Vienna, Austria, Europe","institution_ids":["https://openalex.org/I102248843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060337321","display_name":"Anton Setzer","orcid":"https://orcid.org/0000-0001-5322-6060"},"institutions":[{"id":"https://openalex.org/I39586589","display_name":"Swansea University","ror":"https://ror.org/053fq8t95","country_code":"GB","type":"education","lineage":["https://openalex.org/I39586589"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Anton Setzer","raw_affiliation_strings":["Department of Computer Science, Swansea University, Swansea, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Swansea University, Swansea, UK","institution_ids":["https://openalex.org/I39586589"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057741632","display_name":"Eric Walkingshaw","orcid":"https://orcid.org/0000-0003-1214-0791"},"institutions":[{"id":"https://openalex.org/I131249849","display_name":"Oregon State University","ror":"https://ror.org/00ysfqy60","country_code":"US","type":"education","lineage":["https://openalex.org/I131249849"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Eric Walkingshaw","raw_affiliation_strings":["School of EECS, Oregon State University, Corvallis, OR, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of EECS, Oregon State University, Corvallis, OR, USA","institution_ids":["https://openalex.org/I131249849"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6335,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.62525234,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"15"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/haskell","display_name":"Haskell","score":0.8537001609802246},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8439145684242249},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.8391662836074829},{"id":"https://openalex.org/keywords/graphical-user-interface","display_name":"Graphical user interface","score":0.4930441081523895},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.4731629490852356},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.3769747316837311},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08899134397506714}],"concepts":[{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.8537001609802246},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8439145684242249},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.8391662836074829},{"id":"https://openalex.org/C37789001","wikidata":"https://www.wikidata.org/wiki/Q782543","display_name":"Graphical user interface","level":2,"score":0.4930441081523895},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.4731629490852356},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.3769747316837311},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08899134397506714}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3236950.3236962","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3236950.3236962","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming","raw_type":"proceedings-article"},{"id":"pmh:oai:cronfa.swan.ac.uk:cronfa40969","is_oa":false,"landing_page_url":"https://cronfa.swan.ac.uk/Record/cronfa40969","pdf_url":null,"source":{"id":"https://openalex.org/S4306401612","display_name":"Cronfa (Swansea University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I39586589","host_organization_name":"Swansea University","host_organization_lineage":["https://openalex.org/I39586589"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference Paper/Proceeding/Abstract"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4300000071525574,"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17"}],"awards":[{"id":"https://openalex.org/G2040373294","display_name":null,"funder_award_id":"731143","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G2798107379","display_name":null,"funder_award_id":"H2020-MSCA-RISE-2016","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G3345895242","display_name":null,"funder_award_id":"H2020-MSCA","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G3477743816","display_name":null,"funder_award_id":"H2020-MSCA-RISE","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G3878940427","display_name":null,"funder_award_id":"MSCA-RISE-2016","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G439284566","display_name":null,"funder_award_id":"FA8750-16-C-0044","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G4713059963","display_name":null,"funder_award_id":"FA8750","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G6441127033","display_name":null,"funder_award_id":"EP/G033374/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320332999","display_name":"Horizon 2020 Framework Programme","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"},{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":69,"referenced_works":["https://openalex.org/W96249932","https://openalex.org/W126458859","https://openalex.org/W156309329","https://openalex.org/W1539120745","https://openalex.org/W1557079643","https://openalex.org/W1585398629","https://openalex.org/W1890046864","https://openalex.org/W1898728773","https://openalex.org/W1937976299","https://openalex.org/W1963240911","https://openalex.org/W1975431988","https://openalex.org/W1978353388","https://openalex.org/W1978592561","https://openalex.org/W1986300820","https://openalex.org/W1996974848","https://openalex.org/W1997143185","https://openalex.org/W2007435074","https://openalex.org/W2022078754","https://openalex.org/W2023027674","https://openalex.org/W2039659978","https://openalex.org/W2048559676","https://openalex.org/W2058174669","https://openalex.org/W2074592053","https://openalex.org/W2078944436","https://openalex.org/W2084804301","https://openalex.org/W2085552917","https://openalex.org/W2087404516","https://openalex.org/W2088156780","https://openalex.org/W2089589666","https://openalex.org/W2094489875","https://openalex.org/W2101107197","https://openalex.org/W2105153579","https://openalex.org/W2109156518","https://openalex.org/W2128779711","https://openalex.org/W2132061233","https://openalex.org/W2134291411","https://openalex.org/W2136202785","https://openalex.org/W2138784804","https://openalex.org/W2143962534","https://openalex.org/W2149526172","https://openalex.org/W2153483129","https://openalex.org/W2154516928","https://openalex.org/W2157319504","https://openalex.org/W2159072650","https://openalex.org/W2162492115","https://openalex.org/W2171496589","https://openalex.org/W2188068291","https://openalex.org/W2239779735","https://openalex.org/W2261238734","https://openalex.org/W2294807576","https://openalex.org/W2295914203","https://openalex.org/W2320492559","https://openalex.org/W2346834216","https://openalex.org/W2475893527","https://openalex.org/W2552040597","https://openalex.org/W2622276831","https://openalex.org/W2628854485","https://openalex.org/W2751009798","https://openalex.org/W2806797669","https://openalex.org/W2887710565","https://openalex.org/W2888051297","https://openalex.org/W2898114104","https://openalex.org/W2997842369","https://openalex.org/W3023924148","https://openalex.org/W3090719966","https://openalex.org/W3103594074","https://openalex.org/W3157431840","https://openalex.org/W4205241876","https://openalex.org/W4231894538"],"related_works":["https://openalex.org/W2112263414","https://openalex.org/W3004782279","https://openalex.org/W1602185604","https://openalex.org/W2028779182","https://openalex.org/W1975276861","https://openalex.org/W4242678340","https://openalex.org/W2140654465","https://openalex.org/W2132325017","https://openalex.org/W1671914757","https://openalex.org/W1966969028"],"abstract_inverted_index":{"Graphical":[0],"user":[1,106],"interfaces":[2],"(GUIs)":[3],"are":[4,16],"ubiquitous":[5],"in":[6,67,103],"real-world":[7],"software":[8,21],"and":[9,101,108,146],"a":[10,58,80,85,115],"notorious":[11],"source":[12],"of":[13,32,35,45,79,87,105,129],"bugs":[14],"that":[15],"difficult":[17],"to":[18,28,114,125],"catch":[19],"through":[20],"testing.":[22],"Model":[23],"checking":[24,39],"has":[25],"been":[26],"used":[27],"prove":[29],"the":[30,46,68,75,77,88,139],"absence":[31],"certain":[33],"kinds":[34],"bugs,":[36],"but":[37],"model":[38,44],"works":[40],"on":[41,84,133],"an":[42,126,134],"abstract":[43],"GUI":[47,65,89,122,137],"application,":[48],"which":[49],"might":[50],"be":[51,99],"inconsistent":[52],"with":[53],"its":[54],"implementation.":[55],"We":[56],"present":[57],"library":[59,112,131],"for":[60,119],"developing":[61],"directly":[62],"verified,":[63],"state-dependent":[64],"applications":[66],"dependently":[69],"typed":[70],"programming":[71],"language":[72],"Agda.":[73],"In":[74],"library,":[76],"type":[78],"GUI's":[81],"controller":[82],"depends":[83],"specification":[86],"itself,":[90],"statically":[91],"enforcing":[92],"consistency":[93],"between":[94],"them.":[95],"Arbitrary":[96],"properties":[97],"can":[98],"defined":[100],"proved":[102],"terms":[104],"interactions":[107],"state":[109],"transitions.":[110],"Our":[111],"connects":[113],"custom-built":[116],"Haskell":[117],"back-end":[118,142],"declarative":[120,141],"vector-based":[121],"elements.":[123],"Compared":[124],"earlier":[127],"version":[128],"our":[130],"built":[132],"existing":[135],"imperative":[136],"framework,":[138],"more":[140],"supports":[143],"simpler":[144],"definitions":[145],"proofs.":[147]},"counts_by_year":[{"year":2018,"cited_by_count":2}],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2018-08-22T00:00:00"}