Safe Dynamic Memory Management in Ada and SPARK.

Maroua Maalej S. Tucker Taft Yannick Moy

Published in: Ada-Europe (2018)

Keyphrases

memory management
operating system
database
databases
real time
management system