Home
Schedule
Abstract Template
Masters Attendance
Improving And Customizing Data-flowTransformationsForObject-OrientedPrograms

Stc
Date: 2006-11-29

Time: 15.30

Room: BBL room 509

----+++ Speaker: Bogdan Dumitriu

----+++ Title: Improving and Customizing Data-flow Transformations for Object-Oriented Programs
(masters' thesis defense)

----+++ Abstract

Stratego's dynamic rule library provides a number of 
strategies that help users write data-flow transformations 
more easily. But the library only provides support for 
dealing with control flow that is sequential. This means that 
statements like break, continue or throw (of an exception) 
have to be handled without any aid from the library. To fix 
this, we have created a number of strategies that offer 
support for such non-sequential control flow and we begin by 
presenting them.

The next topic of our presentation will be the implementation 
of pointer analysis in Stratego. We explain why this was 
necessary, how it has been done and how its results can be 
used in data-flow transformations.

We end by discussing a sample transformation that we have 
implemented in order to experiment with the concept of 
customizable transformations. The transformation works by 
using information provided by the users in the form of method 
annotations in order to (1) propagate custom typestate 
through a program and (2) perform certain user-defined 
actions, if given preconditions are met.

<!--
   * Set PREV_SKIN = customtitle
   * Set CUSTOMTOPICTITLE = Improving and Customizing Data-flow Transformations for Object-Oriented Programs
   * Set CUSTOMHEADTITLE = Stc / Improving and Customizing Data-flow Transformations for Object-Oriented Programs
-->