[Pl-seminar] UPDATE: 9/7: Shmuel Katz, "Aspects, Events, and Modular Correctness Reasoning"

[Aaron Turon]

Due to a scheduling conflict, the time and location of the talk has
changed.  It is now:

Wednesday, 9/7
1:45-3:15
WVF 114

On Thu, Sep 1, 2011 at 2:00 PM, Aaron Turon <turon at ccs.neu.edu> wrote:
> NEU Programming Languages Seminar presents
>
> Shmuel Katz
> Computer Science Department
> The Technion--- Israel Institute of Technology
>
> Wednesday, 9/7
>
> 12pm - 1:30pm
> NOTE: NONSTANDARD ROOM
> Room **166** WVH (http://www.ccs.neu.edu/home/wand/directions.html)
>
> Aspects, Events, and Modular Correctness Reasoning
>
> The close connection between aspects and complex event processing
> (CEP) is shown. Some changes are suggested in AspectJ (a Java
> extension for aspects) both to improve the modularity of aspect
> languages, and to facilitate their use for CEP. Specification and
> verification of a library of reusable event detectors and aspects is
> then described, treating both the correctness of individual modules
> relative to their specifications, and detection of possible
> interferences among them. A generic model checking tool for aspects
> and event detectors is extended to treat cases where new key events
> are added during the treatment of previous events by an aspect, and
> these new events lead to additional aspects being activated.
>
> (No background is needed for this talk---all terms will be explained.)
>