Re: symbolic interpretation

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.

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