A semantic model for graphical user interfaces

@inproceedings{Krishnaswami2011ASM,
  title={A semantic model for graphical user interfaces},
  author={Neelakantan R. Krishnaswami and Nick Benton},
  booktitle={ICFP},
  year={2011}
}
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

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…