External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Safe Dynamic Memory Management in Ada and SPARK

Maroua Maalej, S. Tucker Taft, Yannick Moy. Safe Dynamic Memory Management in Ada and SPARK. In Antonio Casimiro, Pedro M. Ferreira, editors, Reliable Software Technologies - Ada-Europe 2018 - 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings. Volume 10873 of Lecture Notes in Computer Science, pages 37-52, Springer, 2018. [doi]

Authors

Maroua Maalej

This author has not been identified. Look up 'Maroua Maalej' in Google

S. Tucker Taft

This author has not been identified. Look up 'S. Tucker Taft' in Google

Yannick Moy

This author has not been identified. Look up 'Yannick Moy' in Google
runs on