Automated transformation of BMF programs (2004)
| Venue: | In The First International Workshop on Object Systems and Software Architectures |
| Citations: | 1 - 0 self |
BibTeX
@INPROCEEDINGS{Alex04automatedtransformation,
author = {Brad Alex and Andrew Wendelborn},
title = {Automated transformation of BMF programs},
booktitle = {In The First International Workshop on Object Systems and Software Architectures},
year = {2004},
pages = {133--141}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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 transformation. 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. 1
Citations
| 2 | Towards a Modular Program Derivation via Fusion and - Chin, Hu |
