TY  - RPRT
TI  - Formal Semantics for the Halide Language
AU  - Alex Reinking
AU  - Gilbert Louis Bernstein
AU  - Jonathan Ragan-Kelley
PY  - 2022
UR  - https://arxiv.org/abs/2210.15740
ID  - 2210.15740
ER  -