|Abstract Interpretation Query email@example.com (Ashok Sreenivas) (1992-09-04)|
|Re: Abstract Interpretation Query firstname.lastname@example.org (1992-09-05)|
|Re: Abstract Interpretation Query email@example.com (1992-09-06)|
|Re: Abstract Interpretation Query firstname.lastname@example.org (1992-09-06)|
|Re: Abstract Interpretation Query email@example.com (1992-09-06)|
|re: Abstract Interpretation Query firstname.lastname@example.org (P.T. Breuer) (1992-09-14)|
|From:||email@example.com (Vugranam Chakravarthy Sreedhar)|
|Organization:||McGill University - VLSI Laboratory, Montreal, CANADA.|
|Date:||Sat, 5 Sep 1992 09:00:51 GMT|
Ashok Sreenivas <firstname.lastname@example.org> writes:
>I am working on trying to formalise program analyses and transformations. In
>this connection, I have come across a technique called Abstract
>Interpretation. So far, I've only seen a lot of theory regarding it, and
>some applications to functional and logic languages.
Yes. Recent Int. Conf. on Comp. Languages (1992) was mainly
devoted to Abstract Interpretation. The seminal paper was actually
targeted to imperative programs (Cousant and Cousant, POPL'78, I am right!!).
Recently the method was applied to functional/logic programming.
>What I want to know is: has anybody applied it to everyday imperative
>languages in real life (i.e. to languages like Pascal, C, and
>analyses like type analysis, data flow analysis etc.)?
AI, although nice, is expensive in terms of time and space. I doubt if the
concept is being used in any production compilers. There are some research
experience on AI in various forms. Keshav Pingali at Cornell (POPL'90/91)
uses AI for dataflow analysis. Z. Ammarguellat and W. L. Harrison
III(Sigplan PLDI'90) use AI for recognizing recurrence relations. Recent
Intl. Conf. on Comp. Lang. has a on paper on pointer analyses based on AI.
Return to the
Search the comp.compilers archives again.