Program transformations using ASF+SDF
M.G.J. van den Brand, S.M. Eijkelkamp, D.K.A. Geluk, H. Meijer,
H.R. Osborne & M.J.F. Polling (UvA/KUN)
(Available as P9504-4.ps.gz)
Abstract
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.