home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / comp / compiler / 1519 < prev    next >
Encoding:
Internet Message Format  |  1992-09-07  |  1.6 KB
  1. Path: sparky!uunet!haven.umd.edu!darwin.sura.net!jvnc.net!rutgers!faatcrl!iecc!compilers-sender
  2. From: ashok@trddc.ernet.in (Ashok Sreenivas)
  3. Newsgroups: comp.compilers
  4. Subject: Abstract Interpretation Query
  5. Keywords: functional, logic, question
  6. Message-ID: <92-09-038@comp.compilers>
  7. Date: 4 Sep 92 16:57:00 GMT
  8. Sender: compilers-sender@iecc.cambridge.ma.us
  9. Reply-To: Ashok Sreenivas <ashok@trddc.ernet.in>
  10. Organization: University of Tennessee, Knoxville - CS Department
  11. Lines: 29
  12. Approved: compilers@iecc.cambridge.ma.us
  13.  
  14. I am working on trying to formalise program analyses and
  15. transformations.  In this connection, I have come across a technique
  16. called Abstract Interpretation.  So far, I've only seen a lot of
  17. theory regarding it, and some applications to functional and logic
  18. languages.  
  19.  
  20. What I want to know is: has anybody applied it to everyday imperative
  21. languages in real life (i.e. to languages like Pascal, C, and
  22. analyses like type analysis, data flow analysis etc.)?  
  23.  
  24. If so, what were your experiences with Abstract Interpretation?  
  25. --------------------------------------------------------------------------
  26.  
  27. I'm posting this for a friend who doesn't have access to news.
  28. Preferably, email responses to Ashok Sreenivas at the following email
  29. address: ashok@trddc.ernet.in If this is not possible, please send me
  30. email (mehta@cs.utk.edu) and/or post on comp.compilers.
  31.  
  32. Thanks,
  33.  
  34. Dinesh P. Mehta
  35. Computer Science Dept
  36. University of Tennessee Space Institute
  37.  
  38.  
  39.  
  40. -- 
  41. Send compilers articles to compilers@iecc.cambridge.ma.us or
  42. {ima | spdcc | world}!iecc!compilers.  Meta-mail to compilers-request.
  43.