From: "Luke A. Guest" <laguest@archeia.com>
Subject: Re: US Government looking into memory safe programming
Date: Mon, 25 Sep 2023 17:21:57 +0100 [thread overview]
Message-ID: <uesc35$20jem$1@dont-email.me> (raw)
In-Reply-To: <uesagt$208tn$1@dont-email.me>
On 25/09/2023 16:55, G.B. wrote:
> What changes to Ada are a good fit while aiming
> at memory safety, verification support,
> or light weight and safe parallel execution?
I started thinking about that here https://github.com/Lucretia/orenda.
next prev parent reply other threads:[~2023-09-25 16:21 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-09-24 22:28 US Government looking into memory safe programming ajdude
2023-09-25 7:52 ` Luke A. Guest
2023-09-25 9:59 ` Stéphane Rivière
2023-09-25 10:38 ` J-P. Rosen
2023-09-25 15:55 ` G.B.
2023-09-25 16:21 ` Luke A. Guest [this message]
2023-09-26 6:55 ` Stéphane Rivière
2023-09-26 11:23 ` Kevin Chadwick
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox