[ACM Press the 2014 ACM SIGAda annual conference - Portland, Oregon, USA (2014.10.18-2014.10.21)] Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology - HILT '14 - Ada 83 to Ada 2012Barnes, John; Taft, S. Tucker · 2014

Ada and the software vulnerabilities projectBurns, Alan; Pinho, Miguel; Ploedereder, Erhard; Real, Jorge; Rosen, J. P.; Schonberg, Ed; Taft, S. Tucker; Vardanega, T.; Tokar, Joyce L.; Baird, Stephen; Barnes, John; Chapman, Rod; Dismukes, Gary; Gonzales-Harbour, Michael; Michell, Stephen; Moore, Brad · ACM SIGAda Ada Letters · 2010

[ACM Press the 2014 ACM SIGAda annual conference - Portland, Oregon, USA (2014.10.18-2014.10.21)] Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology - HILT '14 - Ada 83 to Ada 2012Barnes, John; Taft, S. Tucker · 2014

Object-oriented designBooch, Grady · ACM SIGAda Ada Letters · 1982

AnimaDoran, Steven · ACM SIGAda Ada Letters · 2008

Reaction to NRC recommendationsCrafts, Ralph · ACM SIGAda Ada Letters · 1997

Review of the bookRogers, Pat · ACM SIGAda Ada Letters · 2009

Investigating SystemAdaMahani, Negin · ACM SIGAda Ada Letters · 2013

The rust languageMatsakis, Nicholas D.; Klock, Felix S. · ACM SIGAda Ada Letters · 2014

System object model (SOM) and AdaCastellano, G. Vincent · ACM SIGAda Ada Letters · 1996