Nurit Bracha

• Transformations on loop-free program schemata
• Transformations on loop-free program schemata