Florian Liekweg, Universität Karlsruhe
Martin Trapp, IBM T.J. Watson Research Centre, New York
Uwe Assmann, Universität Karlsruhe
Gerhard Goos, Universität Karlsruhe


Heap Analysis on SSA

We present the VDG-based intermediate format FIRM, which builds on the works
of C. Cliff, B. Steensgard, et. al.  This format includes abstractions for
heap memory and heap analysis.  It is used in the Karlsruhe compiler for the
modern object-oriented language Sather-K which supports multiple inheritance,
generics, garbage collection, and value types.  We present approaches and
ideas for memory fragmentation,  use-def-based optimisations, and static 
garbage collection.


DEMO:  Realising Connectors with the Software Composition System COMPOST 

COMPOST (the Compostion System) is a Java library which can be employed to
compose and connect Java components.  This demo shows how connectors in
COMPOST can transform classes to insert appropriate communication
statements. This mechanism increases reuse of classes and leads to scalable
systems.