Sound Borrow-Checking for Rust via Symbolic Semantics.

Son Ho Aymeric Fromherz Jonathan Protzenko

Published in: CoRR (2024)

Keyphrases

formal semantics
logic programming
high level
semantic information
bayesian networks
logical language
update semantics
symbolic description
connectionist systems