Conference contribution 160 views 5 downloads
Declarative GUIs: Simple, Consistent, and Verified / Stephan Adelsberger; Anton Setzer; Eric Walkingshaw
PPDP '18 Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, Pages: 1 - 15
Swansea University Author: Setzer, Anton
PDF | Accepted ManuscriptDownload (586.12KB)
DOI (Published version): 10.1145/3236950.3236962
In this paper, we present a library for the development of verified, state-dependent GUI applications in the dependently typed programming language Agda. The library uses Agda's expressive type system to ensure that the GUI, its controller, and the underlying model are all consistent, significa...
|Published in:||PPDP '18 Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming|
Proceedings of PPDP 2018
No Tags, Be the first to tag this record!
Agda, interactive theorem proving, dependently typed programming, graphical user interfaces, GUI verification, state-dependent GUIs, reachability, dependable software, data-aware business processes, verification of business processes
College of Science