home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / comp / compiler / 1522 < prev    next >
Encoding:
Internet Message Format  |  1992-09-08  |  1.9 KB
  1. Path: sparky!uunet!gatech!rutgers!faatcrl!iecc!compilers-sender
  2. From: vugranam@pike.ee.mcgill.ca (Vugranam Chakravarthy Sreedhar)
  3. Newsgroups: comp.compilers
  4. Subject: Re: Abstract Interpretation Query
  5. Keywords: functional, logic
  6. Message-ID: <92-09-041@comp.compilers>
  7. Date: 5 Sep 92 09:00:51 GMT
  8. References: <92-09-038@comp.compilers>
  9. Sender: compilers-sender@iecc.cambridge.ma.us
  10. Reply-To: vugranam@pike.ee.mcgill.ca (Vugranam Chakravarthy Sreedhar)
  11. Organization: McGill University - VLSI Laboratory, Montreal, CANADA.
  12. Lines: 27
  13. Approved: compilers@iecc.cambridge.ma.us
  14.  
  15. Ashok Sreenivas <ashok@trddc.ernet.in> writes:
  16. >I am working on trying to formalise program analyses and transformations.  In
  17. >this connection, I have come across a technique called Abstract
  18. >Interpretation.  So far, I've only seen a lot of theory regarding it, and
  19. >some applications to functional and logic languages.
  20.  
  21. Yes. Recent Int. Conf. on Comp. Languages (1992) was mainly
  22. devoted to Abstract Interpretation. The seminal paper was actually
  23. targeted to imperative programs (Cousant and Cousant, POPL'78, I am right!!).
  24. Recently the method was applied to functional/logic programming.
  25.  
  26. >What I want to know is: has anybody applied it to everyday imperative
  27. >languages in real life (i.e. to languages like Pascal, C, and
  28. >analyses like type analysis, data flow analysis etc.)?  
  29.  
  30. AI, although nice, is expensive in terms of time and space. I doubt if the
  31. concept is being used in any production compilers. There are some research
  32. experience on AI in various forms. Keshav Pingali at Cornell (POPL'90/91)
  33. uses AI for dataflow analysis. Z. Ammarguellat and W. L. Harrison
  34. III(Sigplan PLDI'90) use AI for recognizing recurrence relations. Recent
  35. Intl. Conf. on Comp. Lang. has a on paper on pointer analyses based on AI.
  36.  
  37. Sreedhar
  38.  
  39. -- 
  40. Send compilers articles to compilers@iecc.cambridge.ma.us or
  41. {ima | spdcc | world}!iecc!compilers.  Meta-mail to compilers-request.
  42.