C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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