Querying UI Instances with Imandra

on YouTube ↗11m

" summary

Imandra analyzes Reason/OCaml code and returns concrete UI instances and action sequences without running the app, using a REPL wired into a reducer and React component. The demo wires a to‑do MVC logic module into the component and generates concrete UI states (it returns a state with five todos on demand), derives action sequences that led to that state, and does static analysis without executing the code, which successfully produces runnable examples.

AI-written summary · about

" chapters (6)

1. 0:00Imandra introduction
2. 2:10Imandra with OCaml/Reason
3. 3:58Imandra verify statements
4. 5:57Formal verification for frontend
5. 7:01Querying UI instances
6. 9:31Resources and next steps

" related talks

• 34mFunctional UIs and Unidirectional DataflowMikael Brevik · JSConf Budapest 2015
• 32mUI, Pure and SimpleChristian Johansen · reClojure 2025
• 35mModel View Intent, Embracing Reactive UI'sAndré Staltz · droidcon NYC 2017
• 18mUIs as ValuesShashi Gowda · Meta Refresh 2015
• 37mMind-Reading with adaptive UIsDavid Khourshid · Agent Conf 2020
• 38mArchitecture Agnostic UI DevelopmentVinay Gaba, Marcos Paulo Damasceno · droidcon SF 2019
• 35mClojureScript & User Interfaces: Simplicity yields PossibilitiesJelle Akkerman · :clojureD 2015
• 40mRethinking UI: Imperative to DeclarativeJoe Birch, Prateek Prasad · Android Summit 2020