home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / comp / compiler / 1527 < prev    next >
Encoding:
Internet Message Format  |  1992-09-08  |  1.6 KB
  1. Path: sparky!uunet!cis.ohio-state.edu!rutgers!faatcrl!iecc!compilers-sender
  2. From: chow@sp1.csrd.uiuc.edu (Jyh-Herng Chow)
  3. Newsgroups: comp.compilers
  4. Subject: Re: Abstract Interpretation Query
  5. Keywords: functional, logic
  6. Message-ID: <92-09-046@comp.compilers>
  7. Date: 6 Sep 92 22:06:59 GMT
  8. References: <92-09-038@comp.compilers> <92-09-041@comp.compilers>
  9. Sender: compilers-sender@iecc.cambridge.ma.us
  10. Reply-To: chow@sp1.csrd.uiuc.edu (Jyh-Herng Chow)
  11. Organization: UIUC Center for Supercomputing Research and Development
  12. Lines: 24
  13. Approved: compilers@iecc.cambridge.ma.us
  14.  
  15. Ashok Sreenivas <ashok@trddc.ernet.in> writes:
  16. >What I want to know is: has anybody applied it to everyday imperative
  17. >languages in real life (i.e. to languages like Pascal, C, and
  18. >analyses like type analysis, data flow analysis etc.)?  
  19.  
  20. Yes, the Miprac compiler, a multilingual parallelizing compiler (for C,
  21. Lisp, Fortran, etc) by W.L. Harrison and Z.Ammarguellat at CSRD uses a
  22. very compilicated abstract interpretation for obtaining side-effects, data
  23. dependences and object lifetimes information, for both numerical and
  24. symbolic programs. For an overview of this compiler, see 
  25.  
  26.     "A Program's Eye View of Miprac", Williams L. Harrison and 
  27.     Zahira Ammarguellat, in proc. 5th Workshop on Languages and Compilers 
  28.     for Parallel Computing, Yale University, August, 1992
  29.  
  30. --
  31. Jyh-Herng Chow (chow@csrd.uiuc.edu)
  32. 465 CSRL
  33. 1308 West Main Street
  34. University of Illinois at Urbana-Champaign
  35. Urbana, IL 61801-2307
  36. -- 
  37. Send compilers articles to compilers@iecc.cambridge.ma.us or
  38. {ima | spdcc | world}!iecc!compilers.  Meta-mail to compilers-request.
  39.