From: dirk@feles.cs.kuleuven.be. (Dirk Craeynest)
Subject: Re: Why are Ada compilers difficult to write ?
Date: Mon, 25 Jun 2018 20:07:08 -0000 (UTC)
Date: 2018-06-25T20:07:08+00:00 [thread overview]
Message-ID: <pgri1c$kti$1@dont-email.me> (raw)
In-Reply-To: 0a01e940-ec24-40b2-83f0-93157e379dc5@googlegroups.com
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
next prev parent reply other threads:[~2018-06-25 20:07 UTC|newest]
Thread overview: 96+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-06-19 21:33 Why are Ada compilers difficult to write ? Vincent
2018-06-19 21:43 ` Paul Rubin
2018-06-19 22:11 ` Lucretia
2018-06-24 17:33 ` Paul Rubin
2018-06-24 17:39 ` Lucretia
2018-06-19 22:01 ` Jacob Sparre Andersen
2018-06-19 22:18 ` Lucretia
2018-06-21 14:02 ` Jacob Sparre Andersen
2018-06-21 17:20 ` Lucretia
2018-06-19 22:17 ` Lucretia
2018-06-19 22:34 ` Dan'l Miller
2018-06-22 13:01 ` Alejandro R. Mosteo
2018-06-20 8:33 ` gautier_niouzes
2018-06-20 15:54 ` Jeffrey R. Carter
2018-06-20 17:54 ` Dan'l Miller
2018-06-20 18:18 ` Dan'l Miller
2018-06-20 18:58 ` Luke A. Guest
2018-06-20 19:37 ` Dan'l Miller
2018-06-20 19:39 ` Dan'l Miller
2018-06-20 19:50 ` Dan'l Miller
2018-06-20 21:26 ` Luke A. Guest
2018-06-27 14:19 ` Olivier Henley
2018-06-27 15:34 ` Dan'l Miller
2018-06-27 16:26 ` Olivier Henley
2018-06-27 16:50 ` Dan'l Miller
2018-06-27 17:53 ` Olivier Henley
2018-06-27 18:49 ` Dan'l Miller
2018-06-28 11:54 ` Mehdi Saada
2018-06-29 3:34 ` Paul Rubin
2018-06-29 16:36 ` G. B.
2018-06-29 17:02 ` Dan'l Miller
2018-06-21 10:44 ` Marius Amado-Alves
2018-06-21 12:45 ` Dan'l Miller
2018-06-21 21:08 ` Paul Rubin
2018-06-21 21:42 ` Dan'l Miller
2018-06-21 22:01 ` Simon Wright
2018-06-21 23:04 ` Dan'l Miller
2018-06-22 0:20 ` Dan'l Miller
2018-06-22 3:41 ` Paul Rubin
2018-06-29 21:19 ` Randy Brukardt
2018-06-22 3:44 ` Paul Rubin
2018-06-22 21:57 ` Dan'l Miller
2018-06-22 23:15 ` Luke A. Guest
2018-06-23 1:03 ` Dan'l Miller
2018-06-23 1:49 ` Luke A. Guest
2018-06-23 2:54 ` Dan'l Miller
2018-06-23 14:48 ` Dennis Lee Bieber
2018-06-23 14:41 ` Dennis Lee Bieber
2018-06-25 5:55 ` Simon Clubley
2018-06-29 21:22 ` Randy Brukardt
2018-06-22 3:31 ` Paul Rubin
2018-06-22 16:44 ` antispam
2018-06-22 13:11 ` Lucretia
2018-06-22 17:10 ` Simon Clubley
2018-06-22 18:00 ` Lucretia
2018-06-25 5:48 ` Simon Clubley
2018-06-25 8:46 ` Alejandro R. Mosteo
2018-06-25 13:23 ` Lucretia
2018-06-25 17:24 ` Simon Clubley
2018-06-25 14:59 ` Dan'l Miller
2018-06-25 17:32 ` Simon Clubley
2018-06-29 21:26 ` Randy Brukardt
2018-06-23 5:56 ` J-P. Rosen
2018-06-23 12:44 ` Dan'l Miller
2018-06-23 16:14 ` Shark8
2018-06-23 18:12 ` Dan'l Miller
2018-06-23 18:47 ` Shark8
2018-06-23 19:35 ` Simon Wright
2018-06-25 8:51 ` Alejandro R. Mosteo
2018-06-24 13:41 ` Jacob Sparre Andersen
2018-06-25 6:04 ` Simon Clubley
2018-06-25 6:31 ` Jacob Sparre Andersen
2018-06-25 13:27 ` Lucretia
2018-06-25 20:07 ` Dirk Craeynest [this message]
2018-06-28 12:08 ` Vincent
2018-06-28 12:21 ` Simon Wright
2018-06-28 12:24 ` Luke A. Guest
2018-06-28 12:41 ` Dan'l Miller
2018-06-28 14:43 ` J-P. Rosen
2018-06-28 18:26 ` Dmitry A. Kazakov
2018-06-29 21:35 ` Randy Brukardt
2018-06-29 21:29 ` Randy Brukardt
2018-06-21 17:42 ` Pascal Obry
2018-06-21 20:18 ` Dan'l Miller
2018-06-22 5:01 ` J-P. Rosen
2018-06-22 7:16 ` Dmitry A. Kazakov
2018-06-22 11:46 ` Dan'l Miller
2018-06-22 12:11 ` Dmitry A. Kazakov
2018-06-22 12:35 ` Dan'l Miller
2018-06-22 15:55 ` Dmitry A. Kazakov
2018-06-29 21:43 ` Randy Brukardt
2018-06-25 15:33 ` Dan'l Miller
2018-10-01 18:09 ` Tucker Taft
2018-10-01 18:51 ` Lucretia
2018-10-02 12:58 ` Alejandro R. Mosteo
2018-10-02 14:23 ` Lucretia
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox