Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!bloom-beacon!husc6!spdcc!ima!compilers-sender
From: lsuc!array!len@ai.toronto.edu (Leonard Vanek)
Newsgroups: comp.compilers
Subject: Interprocedural dataflow analysis question
Message-ID: <3312@ima.ima.isc.com>
Date: 7 Feb 89 19:53:39 GMT
Sender: compilers-sender@ima.ima.isc.com
Reply-To: lsuc!array!len@ai.toronto.edu (Leonard Vanek)
Lines: 17
Approved: compilers@ima.UUCP

Can someone provide me with the most recent references on the subject
of interprocedural dataflow analysis? I am specifically interested in
obtaining an EXACT (rather than conservative) solution for the values
(or expressions) killed by a procedure call -- even in the presence of
recursive calls within the procedure.
--
Leonard Vanek                  UUCP: ... uunet!attcan!lsuc!array!len
Array Systems Computing Inc.    or ... utzoo!dciem!array!len
5000 Dufferin St. Suite 200     or lsuc!array!len@ai.toronto.edu
Downsview, Ont. M3H 5T5        Phone: (416) 736-0900
Canada                         FAX:   (416) 736-4715
[Good luck, sounds like the halting problem to me.  -John]
--
Send compilers articles to ima!compilers or, in a pinch, to Levine@YALE.EDU
Plausible paths are { decvax | harvard | yale | bbn}!ima
Please send responses to the originator of the message -- I cannot forward
mail accidentally sent back to compilers.  Meta-mail to ima!compilers-request