[Pl-seminar] Semantics Seminar Schedule

wand@ccs.neu.edu wand at ccs.neu.edu
Mon, 21 Jan 2002 00:05:01 -0500 (EST)

NU Programming Languages Seminar
Wednesday, January 23, 2002,  10:30-12:30
306 Egan  Hall, Northeastern University
    (building 61 on the map at http://www.neu.edu/maps/maps.html)

Mitchell Wand

Small-step Flow Analysis:  But Wait, There's More!

0CFA is known to be sound with respect to a variety of semantics:  big
and small step; call-by-name, call-by-value, and unrestricted beta.
We will sort out some of these soundness results.

We show that the soundness theorem a la Palsberg 95 (small-step,
substitution semantics) is strictly weaker than the the soundness
theorem a la Palsberg 94/Wand-Steckler 94 (big-step, environment

We retrieve the power of environment semantics for a small-step
semantics by showing the soundness of 0CFA for a small-step
environment/continuation machine.  We then extend the proof to cover a
store; providing a simpler alternative to the semantics of (Flanagan
and Felleisen 95).

But wait, there's more!....  depending on time.

Upcoming presentations:

1/30 TBA

2/6  NUCCS PL Day! See http://www.ccs.neu.edu/home/matthias/PL/

2/13 Greg Sullivan

Most meetings will be 1030-1230 in 306 EG.