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.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,29fe9a340e0d180d X-Google-Attributes: gid103376,public From: mheaney@ni.net (Matthew Heaney) Subject: Re: Depending on passing mechanism Date: 1997/10/13 Message-ID: #1/1 X-Deja-AN: 280412291 References: Organization: Estormza Software Newsgroups: comp.lang.ada Date: 1997-10-13T00:00:00+00:00 List-Id: In article , Andre Spiegel 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. Post your results when you're done - I'd be interested in learning that myself. Matt -------------------------------------------------------------------- Matthew Heaney Software Development Consultant (818) 985-1271