[PRL] Reminder: Presentation Workshop today at noon

[Richard Cobbe]

Presentation Workshop (aka Torture Chamber)
Monday, Dec 13, 12:00 pm
WVH 366

Please feel free to bring lunch!

Environmental Acquisition Revisited
===========================================

I will conduct a presentation workshop for the talk that I will give at
POPL 2005.  The abstract is given below; you can download a copy of the
full paper at
<http://www.ccs.neu.edu/home/cobbe/publications/cobbe-05-environmental.pdf>.

Abstract
--------
  In 1996, Gil and Lorenz proposed programming language constructs for
  specifying environmental acquisition in addition to inheritance
  acquisition for objects.  They noticed that in many programs, objects are
  arranged in containment hierarchies and need to obtain information from
  their container objects.  Therefore, if languages allowed programmers to
  specify such relationships directly, type systems and run-time
  environments could enforce the invariants that make these programming
  patterns work.

  In this paper, we present a formal version of environmental
  acquisition for class-based languages.  Specifically, we introduce an
  extension of the ClassicJava model with constructs for environmental
  acquisition of fields and methods, a type system for the model, a
  reduction semantics, and a type soundness proof.  We also discuss how
  to scale the model to a full-scale Java-like programming language.