Semantics as a Tool of Thought: Provenance-Aware Dimensional Checking in a Reactive(…)
summary
A reactive array IR called Three-Graph Reactive Unit Array IR interns noun phrases to integer token IDs and stores them in three co‑indexed flat arrays — Concept Graph, Data Graph, Computation Graph — so semantic tags never re-enter the core. Four static judgments run at materialization before any kernel executes: dimensional compatibility, provenance matching for formation history, shape and broadcast compatibility, and mutability rebind. Dimensionless values carry kind IDs from their formation. Browser execution fits a 5 ms per‑frame budget with 26 judgment cases and median reconstitution 0.003–0.018 ms.
AI-written summary · about
related talks
01h 05mSemantic Intermediate Representations for Sound Language Interoperability
18mGraph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Af...
25mA Semantic Approach to Robust Property Preservation
20mSemantic Reification: A New Paradigm for Random Program Generation
22mA case against semantic dependencies
27mLightweight Semantics Engineering with Redex
19mCausality and Semantic Separation
56mOmnisemantics: Smooth Handling of Nondeterminism (Invited talk)