A semantic model for graphical user interfaces

  title={A semantic model for graphical user interfaces},
  author={Neelakantan R. Krishnaswami and Nick Benton},
We give a denotational model for graphical user interface (GUI) programming using the Cartesian closed category of ultrametric spaces. The ultrametric structure enforces causality restrictions on reactive systems and allows well-founded recursive definitions by a generalization of guardedness. We capture the arbitrariness of user input (e.g., a user gets to decide the stream of clicks she sends to a program) by making use of the fact that the closed subsets of an ultrametric space themselves… CONTINUE READING
Highly Cited
This paper has 46 citations. REVIEW CITATIONS
32 Citations
7 References
Similar Papers


Publications referenced by this paper.

Similar Papers

Loading similar papers…