Program transformations using ASF+SDF
Mark van den Brand, S.M. Eijkelkamp, D.K.A. Geluk, H. Meijer, Hugh R. Osborne, M.J.F. Polling · 1995
This paper describes the ongoing work in the design and implementation of a program transformation system for educational purposes. The system is based on Asf+Sdf for the implementation of the application of transformation rules and on Seal for the implementation of the user interface. The transformation rules are given in a mixture of CIP-L and Clean: Disciplean. The Disciplean transformation rules are not `hard-wired' in the system but they are stored in a kind of data base and they are available via an editor. This allows a flexible way of extending the set of transformation rules.