On the Termination of Borrow Checking in Featherweight Rust.

Étienne Payet David J. Pearce Fausto Spoto

Published in: NFM (2022)

Keyphrases

type checking
term rewriting
rewrite systems
neural network
expert systems
search space
termination analysis
data sets
active rules
first order logic
probability distribution
multiresolution
viewpoint
artificial neural networks
reinforcement learning
feature extraction
web services
databases