A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust.

David J. Pearce

Published in: ACM Trans. Program. Lang. Syst. (2021)

Keyphrases

lightweight
knowledge representation
formal model
development environments
wireless sensor networks
handheld devices
conceptual graphs
dos attacks
communication infrastructure