[PRL] After PC meeting event

Karl Lieberherr lieber at ccs.neu.edu
Sat Dec 6 17:18:43 EST 2003


As you might know, next weekend the AOSD 2004 PC will visit
Northeastern to evaluate 83 papers submitted to the conference.

We will have a miniconference after the PC meeting with talks
and discussions. Enclosed is one example of a topic to be discussed.

PRL members are invited to attend. Please drop a note to me and Pengcheng
if you can make it.

We plan to start at 2pm on Saturday.

-- Karl
PS. Acknowledgemnts to Mitch for suggesting an after PC meeting event.


-----Original Message-----
From: Ralf.Laemmel at cwi.nl [mailto:Ralf.Laemmel at cwi.nl]
Sent: Saturday, December 06, 2003 4:23 PM
To: lieber at ccs.neu.edu

I would like to talk about my work on

Title: Reflections on modular semantics

Abstract: In Semantics and type systems, a modest amount of
generic concepts has been identified. A good showcase is
action semantics --- the modularity of which allows us to
compose somewhat arbitrary language definitions. Similarly,
in the program analysis community, generic frameworks have
been presented that allow for an instantiation for a range
of languages. Again similarly, in the program transformation
community, specifically in the context of refactoring and other
re-engineering transformations, such language parameterisation
has been identified as an issue. Finally, in the AOSD field,
related attempts are underway to generalise the notion of
join-point models so that one would obtain such models in
a very systematic manner from a language definition at hand.
This presentation argues that all these genericity efforts
can be integrated by taking a certain semantics-biased point
of view.




More information about the PRL mailing list