From: Shark8 <onewingedshark@gmail.com>
Subject: Re: Proposing/Recomending Ada Usage At Work
Date: Mon, 30 Oct 2017 14:13:53 -0700 (PDT)
Date: 2017-10-30T14:13:53-07:00 [thread overview]
Message-ID: <11836d6a-b0db-465e-8e02-b4e05205fd22@googlegroups.com> (raw)
In-Reply-To: <f81d4dce-848e-48de-b6fc-a8472531cfab@googlegroups.com>
If it helps, the project that I'm involved with is called Combat XXI, and is used by the army; see:
http://www.trac.army.mil/COMBATXXI.pdf
----
Also, since I'm proposing a rewrite, even papers like [1] will be useful in bolstering my case for long-term benefits.
[1] PDF: https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/pldi117-yang.pdf
Page: https://www.microsoft.com/en-us/research/publication/safe-to-the-last-instruction-automated-verification-of-a-type-safe-operating-system/#
prev parent reply other threads:[~2017-10-30 21:13 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-10-30 1:36 Proposing/Recomending Ada Usage At Work Shark8
2017-10-30 1:43 ` Andrew Shvets
2017-10-30 7:43 ` Brian Drummond
2017-10-30 14:45 ` tclwarrior
2017-10-30 14:46 ` tclwarrior
2017-10-30 15:13 ` Lucretia
2017-10-30 17:53 ` Shark8
2017-10-30 17:57 ` Shark8
2017-10-30 14:37 ` Lucretia
2017-10-30 21:13 ` Shark8 [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox