Subject: Demeter Seminar
From: Karl Lieberherr (firstname.lastname@example.org)
Date: Tue Jan 15 2002 - 14:58:03 EST
Thursday, Jan. 10, 10 - 12 am
149 Cullinane Hall
For Jan. 17, 2002
Speaker: Johan Ovlinger
Preview of PL Day talk.
Speaker: Karl Lieberherr
Integrating AspectJ and Demeter
Subgraph specifications are fundamental to robust
The purpose of a subgraph specification is to select a subgraph
of a graph using a high-level specification that exploits
The Demeter project has explored subgraph specifications
for a long time and more recently, they were also introduced
Various graphs are of interest to the aspect-oriented
programmer: dynamic call trees, object graphs, class graphs, etc.
AspectJ uses subgraph specifications for class graphs (e.g., A+
denotes all subclasses of a class) and for dynamic call trees
(e.g., cflow(p) denotes all nodes reachable from p in the
dynamic call tree).
We will review the old Demeter notation for subgraph
specifications, from our TOPLAS paper with Jens Palsberg,
and present three semantics: (1) for dynamic call trees as used
in AspectJ (2) for object graphs as presented in the succinct
AP semantics paper with Mitch Wand (3) and class graphs.
We propose an integration of all three subgraph specification
semantics into AspectJ based on our experience with
Doug Orleans' AP Library, DJ and DemeterJ.
Joint work with John Sung and Doug Orleans. John Sung writes
his MS thesis on this topic.
Preliminary slides are in:
This archive was generated by hypermail 2b28 : Tue Jan 15 2002 - 15:27:44 EST