From: Matthias-Christian Ott <ott@mirix.org>
Subject: Re: Dynamic allocation in the predefined language environment
Date: Mon, 06 Jul 2015 14:16:03 +0000
Date: 2015-07-06T14:16:03+00:00 [thread overview]
Message-ID: <559a8d12$0$297$14726298@news.sunsite.dk> (raw)
In-Reply-To: <873811cre5.fsf@theworld.com>
On 06/07/15 14:06, Bob Duff wrote:
> Matthias-Christian Ott <ott@mirix.org> writes:
>> ...I suppose most implementations will
>> raise a Storage_Error exception but the standard does not specify how
>> the packages are to implemented so a program could simply crash and
>> would still conform to the standard.
>
> No, running out of memory raises Storage_Error. The implementation
> cannot "simply crash".
It could be implemented in C or assembly language and than it could
definitely crash. The point is: If the standard specifies how to
implement a package, you have to assume anything when reasoning about
the correctness of code.
- Matthias-Christian
next prev parent reply other threads:[~2015-07-06 14:16 UTC|newest]
Thread overview: 27+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-07-06 11:13 Dynamic allocation in the predefined language environment Matthias-Christian Ott
2015-07-06 13:04 ` G.B.
2015-07-06 14:21 ` Matthias-Christian Ott
2015-07-06 14:06 ` Bob Duff
2015-07-06 14:16 ` Matthias-Christian Ott [this message]
2015-07-06 14:23 ` G.B.
2015-07-06 14:43 ` Matthias-Christian Ott
2015-07-06 14:56 ` Bob Duff
2015-07-07 8:46 ` Matthias-Christian Ott
2015-07-07 22:32 ` Bob Duff
2015-07-08 19:47 ` Randy Brukardt
2015-07-08 21:08 ` Bob Duff
2015-07-10 21:58 ` Randy Brukardt
2015-07-08 21:16 ` Dmitry A. Kazakov
2015-07-06 14:45 ` Bob Duff
2015-07-06 20:28 ` Randy Brukardt
2015-07-07 8:49 ` Matthias-Christian Ott
2015-07-07 22:14 ` Bob Duff
2015-07-06 15:29 ` Simon Wright
2015-07-06 20:31 ` Randy Brukardt
2015-07-06 21:35 ` Simon Wright
2015-07-07 18:29 ` Randy Brukardt
2015-07-06 20:22 ` Randy Brukardt
2015-07-06 18:45 ` Jeffrey R. Carter
2015-07-07 7:42 ` Dmitry A. Kazakov
2015-07-07 8:23 ` Matthias-Christian Ott
2015-07-07 8:46 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox