Re: symbolic interpretation (Fergus Henderson)
18 Jan 2001 01:01:42 -0500

          From comp.compilers

Related articles
symbolic interpretation (Lorenzo Bettini) (2001-01-11)
Re: symbolic interpretation (2001-01-18)
Re: symbolic interpretation (Ira D. Baxter) (2001-01-18)
Re: symbolic interpretation (Steven Carroll) (2001-01-18)
Re: symbolic interpretation (Basile STARYNKEVITCH) (2001-01-19)
Re: symbolic interpretation (2001-01-26)
| List of all articles for this month |

From: (Fergus Henderson)
Newsgroups: comp.compilers
Date: 18 Jan 2001 01:01:42 -0500
Organization: Computer Science, University of Melbourne
References: 01-01-072
Keywords: interpreter, optimize
Posted-Date: 18 Jan 2001 01:01:42 EST

Lorenzo Bettini <> writes:

>Do you have any pointer and/or reference to symbolic interpretation in
>compiler writing, please? I would need a specific one, not just a
>generic one.

I think "symbolic interpretation" is more commonly called
"abstract interpretation".
(Or is there some difference in these terms that I'm unaware of?)

See e.g. the following references.

                author = {P. Cousot and R. Cousot},
                title = {Abstract interpretation: a unified lattice model
                                                for static analysis of programs
                                                by construction or approximation of fixpoints},
                journal = {Conference Record of the Fourth ACM Symposium
                                                on Principles of Programming Languages},
                address = {Los Angeles, California},
                month = jan,
                year = {1977},
                pages = {238--252}

                author="Alan Mycroft",
                title="Abstract Interpretation and Optimising Transformations for
                              Applicative Programs",
                school="University of Edinburgh, Scotland",

                author = {Flemming Nielson},
                title = {A bibliography on abstract interpretation},
                journal = {{SIGPLAN} Notices},
                volume = {21},
                number = {5},
                month = may,
                year = {1986},
                pages = {31--38}

Fergus Henderson <> | "I have always known that the pursuit
                                                                        | of excellence is a lethal habit"
WWW: <> | -- the last words of T. S. Garp.

Post a followup to this message

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