Automated transformation of BMF programs

Transformation is key to any program improvement process and a key to successful transformation is the medium in which it takes place. BMF (Bird-Meertens Formalism)is a medium specialised for program improvement via incremental ransformation. While much theoretical work exists, there has, to date, been a paucity of actual implementations employing BMF in an automated process of program improvement. In this paper we describe such an implementation, targeted to distributed architectures