Formal Semantics for the Halide Language.

Alex Reinking Gilbert Louis Bernstein Jonathan Ragan-Kelley

Published in: CoRR (2022)

Keyphrases

formal semantics
logical language
formal language
operational semantics
modeling language
modelling language
speech acts
er model
logical reasoning
first order logic
theorem prover
machine learning
high level
user interface
model theoretic