Subject: Semantics Seminar Schedule
From: Mitchell Wand (wand@ccs.neu.edu)
Date: Tue Aug 21 2001 - 12:05:44 EDT
NU Programming Languages Seminar
Thursday, August 23, 2001, 10:30-12:30
149 Cullinane Hall, Northeastern University
(building 9 on the map at http://www.neu.edu/maps/maps.html)
Paul Blain Levy, Brandeis University
Call-By-Push-Value: A Subsuming Paradigm
Abstract
Call-by-push-value (CBPV) is a new programming language paradigm,
based on the slogan ``a value is, a computation does''. We claim that
CBPV provides the semantic primitives from which the call-by-value and
call-by-name paradigms are built. Evidence for this claim is found in
a remarkably wide range of semantics: from operational semantics, in
big-step form and in machine form, to denotational models using
domains, possible worlds, continuations and games.
In this talk, we introduce the CBPV paradigm. Using an example
program, we see how application and lambda can be understood as push
and pop instructions for a stack. We make this more formal with a
Felleisen/Friedman-style CK-machine.
We provide Scott semantics, printing semantics and continuation
semantics for CBPV and see how we recover familiar and less familiar
semantics for call-by-value and call-by-name.
This archive was generated by hypermail 2b28 : Tue Aug 21 2001 - 12:06:10 EDT