From: Marius Amado Alves <amado.alves@netcabo.pt>
To: tmoran@acm.org
Cc: comp.lang.ada@ada-france.org
Subject: Re: setting 'Size and unchecked conversion safe here?
Date: Sat, 12 Feb 2005 18:29:47 +0000
Date: 2005-02-12T18:29:47+00:00 [thread overview]
Message-ID: <mailman.142.1108232844.527.comp.lang.ada@ada-france.org> (raw)
In-Reply-To: <676dna1FQuzk2JPfRVn-1Q@comcast.com>
>>>> I need to store access-to-subprogram values in a 64-bit modular
>>>> type.
>> That's the container I have to store small values. It's in a database
>> system
> That database is not persistent from one program execution to the
> next, surely. Is there any reason to believe an access to subprogram
> P in
> one execution has the same 32 bit representation as an access to P in
> another execution?
No, of course not. The access-to-subprogram values are redefined upon
each restart of the system. It's a long story. Basically my PhD. Due in
2006 or 2007. An interim paper will be published in 2005. I'll take the
liberty to announce it here.
next prev parent reply other threads:[~2005-02-12 18:29 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-02-11 18:52 setting 'Size and unchecked conversion safe here? Marius Amado Alves
2005-02-11 19:08 ` Martin Krischik
2005-02-11 20:34 ` tmoran
2005-02-11 22:37 ` Marius Amado Alves
2005-02-11 23:49 ` tmoran
2005-02-12 13:10 ` Marius Amado Alves
2005-02-12 6:55 ` Martin Krischik
2005-02-12 13:30 ` Marius Amado Alves
2005-02-12 14:57 ` Martin Krischik
2005-02-12 16:03 ` Marius Amado Alves
2005-02-12 16:04 ` Marius Amado Alves
2005-02-11 23:38 ` Robert A Duff
2005-02-12 12:46 ` Marius Amado Alves
2005-02-12 18:05 ` tmoran
2005-02-12 18:29 ` Marius Amado Alves [this message]
2005-02-12 19:14 ` Robert A Duff
2005-02-12 19:48 ` Marius Amado Alves
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox