Highly Influenced

# 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} }

- Published 2011 in ICFP
DOI:10.1145/2034773.2034782

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

#### From This Paper

##### Figures, tables, and topics from this paper.

32 Citations

7 References

Similar Papers

#### References

##### Publications referenced by this paper.

Showing 1-7 of 7 references

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential