Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library.

Aïssata Maiga Cyrille Artho Florian Gilcher Yannick Moy

Published in: FTSCS (2023)

Keyphrases

pattern recognition
real time
artificial intelligence
information systems
e learning
case study
database systems
cooperative
special case