From: Shark8 <onewingedshark@gmail.com>
Subject: Re: ASIS for Gnat (was: Any chance of programming a web frontend in Ada 2012?
Date: Mon, 14 Jun 2021 05:37:57 -0700 (PDT) [thread overview]
Message-ID: <2f20e724-5a64-4749-8ab6-4d15067bf2a2n@googlegroups.com> (raw)
In-Reply-To: <sa2et2$um1$1@dont-email.me>
On Saturday, June 12, 2021 at 8:04:20 AM UTC-6, J-P. Rosen wrote:
>
> If you want to make sophisticated analysis tools, it's another story.
> Hopefully, my paper at AE will soon be available...
Oh, I am looking forward to reading it.
BTW, I really liked your "Memory Management in Ada 2012" video; I've used it as a reference several times to explain to Rust-people that Ada is safer than expected because pointers aren't required for a lot of things, and so you don't have to worry about null-exclusion.
next prev parent reply other threads:[~2021-06-14 12:37 UTC|newest]
Thread overview: 37+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-06-08 8:56 Any chance of programming a web frontend in Ada 2012? Marius Amado-Alves
2021-06-08 9:21 ` Jeffrey R. Carter
2021-06-08 13:42 ` Marius Amado-Alves
2021-06-08 16:04 ` Jeffrey R. Carter
2021-06-08 14:45 ` Marius Amado-Alves
2021-06-08 9:35 ` Max Reznik
2021-06-08 15:22 ` Max Reznik
2021-06-08 16:06 ` Luke A. Guest
2021-06-08 16:19 ` Maxim Reznik
2021-06-10 15:16 ` Shark8
2021-06-10 15:42 ` Luke A. Guest
2021-06-10 13:33 ` Shark8
2021-06-26 11:59 ` Marius Amado-Alves
2021-06-08 13:20 ` Luke A. Guest
2021-06-08 14:12 ` Marius Amado-Alves
2021-06-08 14:43 ` Luke A. Guest
2021-06-08 14:55 ` Marius Amado-Alves
2021-06-08 15:08 ` Luke A. Guest
2021-06-08 15:01 ` Marius Amado-Alves
2021-06-08 16:26 ` Maxim Reznik
2021-06-09 5:02 ` ASIS for Gnat (was: " J-P. Rosen
2021-06-11 18:47 ` Stephen Leake
2021-06-11 20:31 ` J-P. Rosen
2021-06-12 10:47 ` Rod Kay
2021-06-12 14:04 ` J-P. Rosen
2021-06-14 12:37 ` Shark8 [this message]
2021-06-15 21:40 ` Marius Amado-Alves
2021-06-16 8:41 ` J-P. Rosen
2021-06-24 12:36 ` Maxim Reznik
2021-06-24 21:28 ` Marius Amado-Alves
2021-06-25 7:44 ` Marius Amado-Alves
2021-06-25 9:08 ` Maxim Reznik
2021-06-26 12:05 ` Marius Amado-Alves
2021-06-26 19:51 ` Vadim Godunko
2021-06-25 7:50 ` Marius Amado-Alves
2021-06-10 15:18 ` Shark8
2021-06-11 0:44 ` Paul Rubin
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox