From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: dirk@feles.cs.kuleuven.be. (Dirk Craeynest)
Newsgroups: comp.lang.ada
Subject: Re: Why are Ada compilers difficult to write ?
Date: Mon, 25 Jun 2018 20:07:08 -0000 (UTC)
Organization: Ada-Europe, c/o Dept. of Computer Science, KU Leuven
Message-ID: <pgri1c$kti$1@dont-email.me>
References: <584564c2-9f64-4965-b045-535cdaf899c0@googlegroups.com>
 <2d617160-ac33-40e6-a06a-97cc0b53062d@googlegroups.com>
 <874lhsnvye.fsf@adaheads.home>
 <0a01e940-ec24-40b2-83f0-93157e379dc5@googlegroups.com>
Injection-Date: Mon, 25 Jun 2018 20:07:08 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="90caad5c45e5cab0af3cd933a7325894";
	logging-data="21426"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19pRGjwZdhYHx6X3cqfPBcxe8xUi88L0lg="
Cancel-Lock: sha1:otd7zyhC7uPRvFRyQUypJcOi2vM=
Originator: dirk@feles.cs.kuleuven.be. (Dirk Craeynest)
X-Newsreader: trn 4.0-test77 (Sep 1, 2010)
Xref: reader02.eternal-september.org comp.lang.ada:53312
Date: 2018-06-25T20:07:08+00:00
List-Id: <comp.lang.ada>

In article <0a01e940-ec24-40b2-83f0-93157e379dc5@googlegroups.com>,
Lucretia  <laguest9000@googlemail.com> wrote:
>On Sunday, 24 June 2018 14:41:14 UTC+1, Jacob Sparre Andersen  wrote:
>
>> The problem with Rust is that the language isn't well specified (a
>> "reference implementation" doesn't count as a specification).
>> 
>> At Ada-Europe 2018, Maroua Maalej presented a paper with the title "Safe
>> Dynamic Memory Management in Ada and SPARK".  It explains how you can
>
>Shame this is unobtainium.

Paper:
https://link.springer.com/content/pdf/10.1007%2F978-3-319-92432-8_3.pdf

Presentation:
http://www.ada-europe.org/conference2018/presentations/Safe%20Dynamic%20Memory%20Management%20in%20Ada%20and%20SPARK.pdf

Dirk
Dirk.Craeynest@cs.kuleuven.be (for Ada-Belgium/Ada-Europe/SIGAda/WG9)

*** Ada-Europe 24th Intl. Conf. on Reliable Software Technologies ***
June 10-14, 2019 * Warsaw, Poland * www.ada-europe.org/conference2019