C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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