Re: symbolic interpretation

fjh@cs.mu.OZ.AU (Fergus Henderson)
18 Jan 2001 01:01:42 -0500

          From comp.compilers

Related articles
symbolic interpretation bettini@dsi.unifi.it (Lorenzo Bettini) (2001-01-11)
Re: symbolic interpretation fjh@cs.mu.OZ.AU (2001-01-18)
Re: symbolic interpretation idbaxter@semdesigns.com (Ira D. Baxter) (2001-01-18)
Re: symbolic interpretation scarroll@csrd.uiuc.edu (Steven Carroll) (2001-01-18)
Re: symbolic interpretation basile.starynkevitch@cea.fr (Basile STARYNKEVITCH) (2001-01-19)
Re: symbolic interpretation fjh@cs.mu.OZ.AU (2001-01-26)
| List of all articles for this month |

From: fjh@cs.mu.OZ.AU (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 <bettini@dsi.unifi.it> 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.


@article{abstract-int1,
                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}
}


@phdthesis{abstract-int2,
                author="Alan Mycroft",
                title="Abstract Interpretation and Optimising Transformations for
                              Applicative Programs",
                year=1981,
                school="University of Edinburgh, Scotland",
}


@article{abstract-int3,
                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 <fjh@cs.mu.oz.au> | "I have always known that the pursuit
                                                                        | of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh> | -- 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.