Developing a simple, precise denotational model of graphical user interfaces enables proving properties of programs and establishing objective comparisons of library abstraction levels.

{
  "doc": "2022-02-10_Mikael-Brockman_genuinely-functional-guis.pdf_43bb4b.md",
  "author": null,
  "context": "Authors' core assertion that formal modeling of GUIs provides foundational benefits for language design and program verification.",
  "enrichment": {
    "is_stale": true
  },
  "norm_label": "Developing a simple, precise denotational model of graphical user interfaces enables proving properties of programs and establishing objective comparisons of library abstraction levels.",
  "source_url": null,
  "graphify_id": "gui_formal_model_claim",
  "source_file": "2022-02-10_Mikael-Brockman_genuinely-functional-guis.pdf_43bb4b.md",
  "imported_from": "/Users/antonborzov/Documents/Research.nosync/papers/extract_typed_out/2022-02-10_Mikael-Brockman_genuinely-functional-guis.pdf_43bb4b/graph.json",
  "extracted_type": "claim",
  "source_location": "§1",
  "graphify_file_type": "claim"
}