From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=0.8 required=3.0 tests=BAYES_50,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.5-pre1
X-Received: by 2002:a05:6214:1746:: with SMTP id dc6mr18711374qvb.32.1623674277723;
        Mon, 14 Jun 2021 05:37:57 -0700 (PDT)
X-Received: by 2002:a25:cb48:: with SMTP id b69mr24771939ybg.173.1623674277570;
 Mon, 14 Jun 2021 05:37:57 -0700 (PDT)
Path: eternal-september.org!reader02.eternal-september.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Mon, 14 Jun 2021 05:37:57 -0700 (PDT)
In-Reply-To: <sa2et2$um1$1@dont-email.me>
Injection-Info: google-groups.googlegroups.com; posting-host=146.5.2.231; posting-account=lJ3JNwoAAAAQfH3VV9vttJLkThaxtTfC
NNTP-Posting-Host: 146.5.2.231
References: <d34f63a1-dc22-43d7-8126-2dcfd0dd2599n@googlegroups.com>
 <2b94c73e-c38e-4499-b3b2-7f4d88dfb979n@googlegroups.com> <20208b1b-bbe5-438b-9cd5-06cb6774be32n@googlegroups.com>
 <s9pi1h$nss$1@dont-email.me> <sa23c5$ipk$1@dont-email.me> <sa2et2$um1$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <2f20e724-5a64-4749-8ab6-4d15067bf2a2n@googlegroups.com>
Subject: Re: ASIS for Gnat (was: Any chance of programming a web frontend in
 Ada 2012?
From: Shark8 <onewingedshark@gmail.com>
Injection-Date: Mon, 14 Jun 2021 12:37:57 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: reader02.eternal-september.org comp.lang.ada:62226
List-Id: <comp.lang.ada>

On Saturday, June 12, 2021 at 8:04:20 AM UTC-6, J-P. Rosen wrote:
>=20
> If you want to make sophisticated analysis tools, it's another story.=20
> 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 i=
t 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.