[Pl-seminar] Semantics Seminar Schedule

[Mitchell Wand]

NU Programming Languages Seminar
Wednesday, February 5, 2003
206 Egan  Hall, Northeastern University
    (building 60 on http://www.campusmap.neu.edu/)  
1030-1230

Putting Failure in Context

Mitch Wand

There are two well-known models of non-deterministic programming.  The
direct semantics takes a non-deterministic program to denote a stream
of possible answers.  The continuation semantics uses two
continuations, a success continuation and a failure continuation, to
model explicit backtracking.  The connection between these two models
is subtler than one might expect.  We show how the connection goes,
using context machines as an intermediate representation.

Upcoming presentations:

Open (any volunteers??)

--Mitch