Reasoning about Interior Mutability in Rust using Library-Defined Capabilities.

Federico Poli Xavier Denis Peter Müller Alexander J. Summers

Published in: CoRR (2024)

Keyphrases

qualitative reasoning
image processing
object oriented
computational power
data sets
knowledge base
multimedia
natural language
hidden markov models
formal theory