Login / Signup
Safe systems programming in Rust.
Ralf Jung
Jacques-Henri Jourdan
Robbert Krebbers
Derek Dreyer
Published in:
Commun. ACM (2021)
Keyphrases
</>
management system
distributed systems
information systems
artificial neural networks
systems require
databases
decision making
multiscale
learning process
programming language
intelligent systems
knowledge based systems
building blocks