[Pl-seminar] Semantics Seminar Schedule

Mitchell Wand wand at ccs.neu.edu
Mon, 4 Mar 2002 13:14:31 -0500 (EST)

NU Programming Languages Seminar
Wednesday, March 6, 2002
306 Egan  Hall, Northeastern University
    (building 62 on the unfortunate map at http://www.neu.edu/maps/maps.html)

Fabio Rojas will present

"Abstract Models of Memory Management," by
Morriset, Felleisen, and Harper

This paper was presented in FPCA 95 and was published as a Technical
Report from the School of Computer Science at Carnegie Mellon

I will present the authors' framework for calculi that make the heap
of a program "syntactically apparent." This approach can be used as
the basis for specifying grabage collection alogrithms and for proving
the correctness of such algorithms. As examples, I will present the
authors's proof for the correctness of trace-based garbage collection,
generational garbage collection, and type-based, tag-free
collection. I will also show how this framework can be used to specify
and prove that type inference can be used to identify objects as
garbage if they are never used but are still accesible.

The paper is available at: 

Upcoming presentations:

3/13-3/20 NU exam week and intersession; no seminar

3/27 no seminar

We will resume in April.

Most meetings will be 1030-1230 in 306 EG.