[PRL] G264: Two items

Mitchell Wand wand at ccs.neu.edu
Thu Jan 20 18:28:15 EST 2005


1.  It would be handy if you all subscribed yourselves to the G264
    mailing list, at https://lists.ccs.neu.edu/bin/listinfo/csg264 .
    Then I won't bother all of prl with course-specific mail, etc.

2.  I've put up a copy of Nielson and Nielson's 1992 text, Semantics
    with Applications at
    http://www.ccs.neu.edu/course/csg264/NielsonNielson92.pdf .  It's
    a little dated, and it centers on while-loops, but Shriram says
    it's his favorite semantics text.  So enjoy!

--Mitch 



More information about the PRL mailing list