community
active
leiden_hybrid_concepts
label: haiku
community:leiden_hybrid_concepts-run4-c1-c1-c0Constraint-based formal models of software design
Using denotational semantics and constraint theory to formalize GUI properties, runtime behavior, and form invariants across representational languages.
3 members. Each node is clickable.
Loading graph…
Drawn from 3 sources
The papers/notes whose extracted claims & findings make up this cluster.
- Garden of Applications1 member
- Genuinely Functional User Interfaces1 member
- alexander-and-levin.md1 member
Bridges (4)
Other communities that share members with this one — cross-cutting threads or papers that sit at the seam between two themes.
Claims (3)
- Developing a simple, precise denotational model of graphical user interfaces enables proving properties of programs and establishing objective comparisons of library abstraction levels.Authors' core assertion that formal modeling of GUIs provides foundational benefits for language design and program verification.
- Runtime architecture must be explicitly represented in code through lifecycle constructs, not just static class relationships.Assertion that temporal aspects of system behavior are as important as structural aspects and require first-class treatment.
- Forms exist as constraints (attractors in description-space), not as objects—different representational languages converge upon the same constraints.