Conference Paper/Proceeding/Abstract 192 views
Declarative GUIs: Simple, Consistent, and Verified / Anton, Setzer
PPDP '18 Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, Pages: 1 - 15
Swansea University Author: Anton, Setzer
Full text not available from this repository: check for access using links below.
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