{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T06:42:59Z","timestamp":1770964979440,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":79,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,3]],"date-time":"2018-09-03T00:00:00Z","timestamp":1535932800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,9,3]]},"DOI":"10.1145\/3236950.3236962","type":"proceedings-article","created":{"date-parts":[[2018,8,14]],"date-time":"2018-08-14T12:09:54Z","timestamp":1534248594000},"page":"1-15","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Declarative GUIs"],"prefix":"10.1145","author":[{"given":"Stephan","family":"Adelsberger","sequence":"first","affiliation":[{"name":"Department of Information Systems and Operations, Vienna University of Economics, Vienna, Austria, Europe"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anton","family":"Setzer","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Swansea University, Swansea, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Walkingshaw","sequence":"additional","affiliation":[{"name":"School of EECS, Oregon State University, Corvallis, OR, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,9,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796816000319"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2544174.2500591"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429075"},{"key":"e_1_3_2_1_4_1","volume-title":"A Digital Health System to Assist Family Physicians to Safely Prescribe NOAC Medications. Studies in health technology and informatics 228","author":"Abidi Samina Raza","year":"2016"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Stephan Adelsberger Bashar Igried Markus Moser Vadim Savenkov and Anton Setzer. 2018. Formal Verification for Feature-based Composition of Workflows. http:\/\/www.cs.swan.ac.uk\/~csetzer\/articles\/SERENE\/SERENE18\/SERENE18AdelsbergerIgriedMoserSavenkoSetzer.pdf To appear in proceedings of http:\/\/www.cs.swan.ac.uk\/~csetzer\/articles\/SERENE\/SERENE18\/SERENE18AdelsbergerIgriedMoserSavenkoSetzer.pdf.  Stephan Adelsberger Bashar Igried Markus Moser Vadim Savenkov and Anton Setzer. 2018. Formal Verification for Feature-based Composition of Workflows. http:\/\/www.cs.swan.ac.uk\/~csetzer\/articles\/SERENE\/SERENE18\/SERENE18AdelsbergerIgriedMoserSavenkoSetzer.pdf To appear in proceedings of http:\/\/www.cs.swan.ac.uk\/~csetzer\/articles\/SERENE\/SERENE18\/SERENE18AdelsbergerIgriedMoserSavenkoSetzer.pdf.","DOI":"10.1109\/EDCC.2018.00039"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236950.3236962"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99933-3_6"},{"key":"e_1_3_2_1_8_1","unstructured":"Agda Community. 2017. The Agda Wiki. (2017). http:\/\/wiki.portal.chalmers.se\/agda  Agda Community. 2017. The Agda Wiki. (2017). http:\/\/wiki.portal.chalmers.se\/agda"},{"key":"e_1_3_2_1_9_1","volume-title":"STEPS Toward Expressive Programming Systems","author":"Amelang Dan","year":"2011"},{"key":"e_1_3_2_1_10_1","volume-title":"Feature-Oriented Software Product Lines: Concepts and Implementation","author":"Apel Sven"},{"key":"e_1_3_2_1_11_1","unstructured":"Heinrich Apfelmus. 2017. Threepenny-gui. https:\/\/wiki.haskell.org\/Threepenny-gui  Heinrich Apfelmus. 2017. Threepenny-gui. https:\/\/wiki.haskell.org\/Threepenny-gui"},{"key":"e_1_3_2_1_12_1","first-page":"1","article-title":"Position paper: the science of deep specification","volume":"375","author":"Appel Andrew W.","year":"2017","journal-title":"Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences"},{"key":"e_1_3_2_1_13_1","first-page":"47","volume-title":"Verifying Functional Reactive Programs with Side Effects. (2017). {41}","author":"B\u00e4renz Manuel"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2014.02.001"},{"key":"e_1_3_2_1_15_1","volume-title":"CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees. In 2017 IEEE Symposium on Security and Privacy (SP). IEEE, IEEE","author":"Bauerei\u00df Thomas","year":"2017"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38574-2_22"},{"key":"e_1_3_2_1_17_1","volume-title":"Resource-Dependent Algebraic Effects. In Trends in Functional Programming: 15th International Symposium, TFP 2014","author":"Brady Edwin","year":"2015"},{"key":"e_1_3_2_1_18_1","volume-title":"Type-driven Development with Idris (1 ed.)","author":"Brady Edwin"},{"key":"e_1_3_2_1_19_1","volume-title":"Towards Object-aware Process Support in Healthcare Information Systems. In 4th International Conference on eHealth, Telemedicine, and Social Medicine (eTELEMED","author":"Chiao Carolina Ming","year":"2012"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89330-1_15"},{"key":"e_1_3_2_1_21_1","unstructured":"Dan Amelang. 2018. Gezira Library. https:\/\/github.com\/damelang\/gezira https:\/\/github.com\/damelang\/gezira.  Dan Amelang. 2018. Gezira Library. https:\/\/github.com\/damelang\/gezira https:\/\/github.com\/damelang\/gezira."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/788018.788825"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23063-4_5"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.2307\/2586554"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(02)00096-9"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/567446.567462"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1097\/PTS.0000000000000240"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070540"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/647850.737221"},{"key":"e_1_3_2_1_30_1","volume-title":"Portugal","author":"Hancock Peter","year":"2000"},{"key":"e_1_3_2_1_31_1","volume-title":"From Sets and Types to Topology and Analysis. Towards Practicable Foundations for Constructive Mathematics (Oxford Logic Guides)","author":"Hancock Peter"},{"key":"e_1_3_2_1_32_1","unstructured":"haskell.org. 2018. SDL. Haskell Library. https:\/\/wiki.haskell.org\/SDL https:\/\/wiki.haskell.org\/SDL.  haskell.org. 2018. SDL. Haskell Library. https:\/\/wiki.haskell.org\/SDL https:\/\/wiki.haskell.org\/SDL."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.240882"},{"key":"e_1_3_2_1_34_1","unstructured":"Idris Development Team. 2017. Idris. A language with dependent types. https:\/\/www.idris-lang.org\/  Idris Development Team. 2017. Idris. A language with dependent types. https:\/\/www.idris-lang.org\/"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"K Ioannidis I Scarlatinis A Papachristos and X Madia. 2018. 4CPS-017 Misuse of novel oral anticoagulants in hospital settings.  K Ioannidis I Scarlatinis A Papachristos and X Madia. 2018. 4CPS-017 Misuse of novel oral anticoagulants in hospital settings.","DOI":"10.1136\/ejhpharm-2018-eahpconf.108"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103776.2103783"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_11"},{"key":"e_1_3_2_1_40_1","volume-title":"A lightweight integration of automated and interactive theorem proving. Mathematical Structures in Computer Science FirstView (12","author":"Kanso Karim","year":"2014"},{"key":"e_1_3_2_1_41_1","volume-title":"23rd International Conference on Types for Proofs and Programs TYPES 2017","author":"Ed Ambrus Kaposi","year":"2017"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2010.09.008"},{"key":"e_1_3_2_1_43_1","first-page":"26","article-title":"A Cookbook for Using the Model-View-Controller User Interface Paradigm in Smalltalk-80","volume":"1","author":"Krasner Glenn E.","year":"1988","journal-title":"Journal of Object Oriented Programming"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034782"},{"key":"e_1_3_2_1_45_1","first-page":"1","article-title":"Medication errors attributed to health information technology","volume":"14","author":"Lawes S","year":"2017","journal-title":"PA-PSRS Patient Saf Advis"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40176-3_8"},{"key":"e_1_3_2_1_47_1","volume-title":"Safety of Health IT: Clinical Case Studies","author":"Magrabi Farah"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30124-0_24"},{"key":"e_1_3_2_1_49_1","volume-title":"Medical error-the third leading cause of death in the US. BMJ: British Medical Journal (Online) 353 (May 03","author":"Makary Martin A","year":"2016"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2002.1023795"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.5555\/1286486.1286487"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/503271.503244"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.117"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19237-6_10"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2480362.2480624"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/1658373.1658376"},{"key":"e_1_3_2_1_58_1","volume-title":"Review of reported clinical information system adverse events in US Food and Drug Administration databases. Applied clinical informatics 2, 1","author":"Myers Risa B","year":"2011"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03359-9_26"},{"key":"e_1_3_2_1_60_1","volume-title":"CTCS'89 (Lect. Notes in Comput. Sci.)","author":"Petersson Kent"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158524"},{"key":"e_1_3_2_1_62_1","unstructured":"Keith Pinson. 2015. GUI programming in Idris? https:\/\/groups.google.com\/forum\/#!topic\/idris-lang\/R_7oixHofUo Google groups posting.  Keith Pinson. 2015. GUI programming in Idris? https:\/\/groups.google.com\/forum\/#!topic\/idris-lang\/R_7oixHofUo Google groups posting."},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1136\/amiajnl-2012-001241"},{"key":"e_1_3_2_1_64_1","unstructured":"Rasterific. 2018. Github repository. https:\/\/github.com\/Twinside\/Rasterific https:\/\/github.com\/Twinside\/Rasterific.  Rasterific. 2018. Github repository. https:\/\/github.com\/Twinside\/Rasterific https:\/\/github.com\/Twinside\/Rasterific."},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1093\/intqhc\/mzg085"},{"key":"e_1_3_2_1_66_1","volume-title":"Dorthe K Bonnerup, and Marianne Lisby.","author":"Saedder Eva A","year":"2014"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596558"},{"key":"e_1_3_2_1_68_1","volume-title":"Single Directmedia Layer","author":"SDL."},{"key":"e_1_3_2_1_69_1","volume-title":"Conference Proceedings of TFP 2006","author":"Setzer Anton","year":"2006"},{"key":"e_1_3_2_1_70_1","volume-title":"Dependently Typed Programming 2004 (Dagstuhl Seminar Proc.s), Thorsten Altenkirch, Martin Hofmann, and John Hughes (Eds.)","volume":"04381","author":"Setzer Anton","year":"2004"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-013-9258-8"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.595896"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00450-009-0057-9"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/91556.91592"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.5555\/647698.734146"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/262009.262011"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289429"},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349331"},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2013.65"},{"key":"e_1_3_2_1_80_1","unstructured":"wiki.haskell. 2017. WxHaskell. (Retrieved 9 February 2017). https:\/\/wiki.haskell.org\/WxHaskell  wiki.haskell. 2017. WxHaskell. (Retrieved 9 February 2017). https:\/\/wiki.haskell.org\/WxHaskell"},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jacc.2017.03.600"}],"event":{"name":"PPDP '18: The 20th International Symposium on Principles and Practice of Declarative Programming","location":"Frankfurt am Main Germany","acronym":"PPDP '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","Goethe University Goethe University Frankfurt"]},"container-title":["Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236950.3236962","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3236950.3236962","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:34Z","timestamp":1750210774000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236950.3236962"}},"subtitle":["Simple, Consistent, and Verified"],"short-title":[],"issued":{"date-parts":[[2018,9,3]]},"references-count":79,"alternative-id":["10.1145\/3236950.3236962","10.1145\/3236950"],"URL":"https:\/\/doi.org\/10.1145\/3236950.3236962","relation":{},"subject":[],"published":{"date-parts":[[2018,9,3]]},"assertion":[{"value":"2018-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}