Interprocedural dataflow analysis question

lsuc!array!len@ai.toronto.edu (Leonard Vanek)
Tue, 7 Feb 89 14:53:39 EST

          From comp.compilers
Related articles
Interprocedural dataflow analysis question lsuc!array!len@ai.toronto.edu (1989-02-07)
Interprocedural dataflow analysis question think!compass!worley@EDDIE.MIT.EDU (1989-02-13)
Re: Interprocedural dataflow analysis question pinter-ron@CS.YALE.EDU (1989-02-13)
| List of all articles for this month |
Date: Tue, 7 Feb 89 14:53:39 EST
From: lsuc!array!len@ai.toronto.edu (Leonard Vanek)

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]
--

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.