[PL-sem-jr] Topic for 2 weeks from now

[Stephen Chang]

Oh and I have the Nielson x2 book from the library if anyone is looking for it.

> Nielson, Nielson, and Hankin's "Principles of Program Analysis" book might
> have pointers to some foundational things - there's probably a copy floating
> around the lab. The field is so wide, though, that I don't think you'll find
> a paper that is *the* foundation for static analysis. Cousot and Cousot's
> 1977 abstract interpretation paper (from the 10PL list) is probably the
> closest, but that's just for one particular approach.
>
> _______________________________________________
> Pl-sem-jr mailing list
> Pl-sem-jr at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr
>