[PL-sem-jr] The PL Jr. Seminars tutorial series - Paul Stansifer: It's just semantics - Mon 10/4

[Vincent St-Amour]

The PL Jr. seminars' tutorial series continue next monday (10/4), with
a talk by Paul Stansifer:

Title:  It's just semantics.

Abstract:  In order to define a language, it's necessary to give it a
semantics.  Two different approaches to defining semantics may be provably
the same, but they provide radically different tools for proving properties
about programs, and they may even cause you to go back and design the
language differently.  We will look at the Cartesian product of two
different semantic approaches and four simple languages.

As usual, we will meet in WVH166 from 12:30 to 2:30.

For more information:
http://www.ccs.neu.edu/home/stamourv/pljr.html
https://wiki.ccs.neu.edu/display/GRADWIKI/PlSeminarJr
http://www.google.com/calendar/embed?src=l62pp852u0sdrj9pjrc4enbgcc%40group.calendar.google.com&ctz=America/New_York

See you there!

Vincent