Sign in
ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs (Artifact).
Felix Suchert
Lisza Zeidler
Jerónimo Castrillón
Sebastian Ertel
Published in:
Dagstuhl Artifacts Ser. (2023)
Keyphrases
</>
object oriented languages
concurrent programming
database languages
databases
database systems
concurrency control
highly scalable
object oriented
programming language
web scale
dynamic allocation
learning algorithm
black box
data flow
turing machine