From: mheaney@ni.net (Matthew Heaney)
Subject: Re: Depending on passing mechanism
Date: 1997/10/13
Date: 1997-10-13T00:00:00+00:00 [thread overview]
Message-ID: <mheaney-ya023680001310972104160001@news.ni.net> (raw)
In-Reply-To: x2hgal3jxa.fsf@moon.inf.fu-berlin.de
In article <x2hgal3jxa.fsf@moon.inf.fu-berlin.de>, Andre Spiegel
<spiegel@inf.fu-berlin.de> wrote:
>Question: Could anyone give me references to papers, books, or web
>pages where this is discussed? Particularly, I'm looking for
>
> * the proof that it's equivalent to the halting problem. (I could
> do it myself, but I'd like to reference it in a paper.)
>
> * a discussion as to how far compilers can reasonably go, i.e. which
> cases can in fact be detected, and under what cost.
I don't know about the halting problem issue, but you may want to contact
Henry Baker. He's been critical of Ada parameter passing mechanisms
(notably that limited types always be passed by reference - a problem
largely fixed in Ada 95), so maybe he can give you some pointers.
<ftp://ftp.netcom.com/pub/hb/hbaker/home.html>
<mailto:hbaker@netcom.com>
Post your results when you're done - I'd be interested in learning that myself.
Matt
--------------------------------------------------------------------
Matthew Heaney
Software Development Consultant
<mailto:matthew_heaney@acm.org>
(818) 985-1271
next prev parent reply other threads:[~1997-10-13 0:00 UTC|newest]
Thread overview: 54+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-10-13 0:00 Depending on passing mechanism Andre Spiegel
1997-10-13 0:00 ` Matthew Heaney [this message]
1997-10-14 0:00 ` Robert Dewar
1997-10-14 0:00 ` Henry Baker
1997-10-15 0:00 ` JP Thornley
1997-10-15 0:00 ` Geert Bosch
1997-10-15 0:00 ` Robert Dewar
1997-10-15 0:00 ` Brian Rogoff
1997-10-19 0:00 ` Robert Dewar
1997-10-22 0:00 ` Henry Baker
1997-10-15 0:00 ` Robert Dewar
1997-10-17 0:00 ` Andre Spiegel
1997-10-17 0:00 ` Henry Baker
1997-10-17 0:00 ` Jon S Anthony
1997-10-17 0:00 ` Robert I. Eachus
1997-10-21 0:00 ` Robert A Duff
1997-10-21 0:00 ` Peter Hermann
1997-10-22 0:00 ` Robert A Duff
1997-10-22 0:00 ` Brian Rogoff
1997-10-22 0:00 ` Henry Baker
1997-10-21 0:00 ` Robert Dewar
1997-10-22 0:00 ` Brian Rogoff
1997-10-22 0:00 ` Jon S Anthony
1997-10-15 0:00 ` Henry Baker
1997-10-15 0:00 ` Jon S Anthony
1997-10-15 0:00 ` Robert Dewar
1997-10-16 0:00 ` Brian Rogoff
1997-10-17 0:00 ` Henry Baker
1997-10-18 0:00 ` Fergus Henderson
1997-10-18 0:00 ` Brian Rogoff
1997-10-18 0:00 ` Matthew Heaney
1997-10-19 0:00 ` Brian Rogoff
1997-10-21 0:00 ` Robert A Duff
1997-10-22 0:00 ` Robert Dewar
1997-10-22 0:00 ` Brian Rogoff
[not found] ` <dewar.877601826@merv>
1997-10-23 0:00 ` Brian Rogoff
1997-10-23 0:00 ` Henry Baker
1997-10-23 0:00 ` Brian Rogoff
1997-10-19 0:00 ` Fergus Henderson
1997-10-19 0:00 ` Brian Rogoff
1997-10-20 0:00 ` Fergus Henderson
1997-10-20 0:00 ` Henry Baker
1997-10-20 0:00 ` Tucker Taft
1997-10-21 0:00 ` Geert Bosch
1997-10-21 0:00 ` Robert A Duff
1997-10-22 0:00 ` Henry Baker
1997-10-21 0:00 ` Matthew Heaney
1997-10-22 0:00 ` Simon Wright
1997-10-23 0:00 ` Henry Baker
1997-10-23 0:00 ` Pat Rogers
1997-10-24 0:00 ` Robert Dewar
1997-10-23 0:00 ` Robert A Duff
1997-10-21 0:00 ` Keith Thompson
1997-10-14 0:00 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox