Paddle

A language for transformations leading from specification to program. Used in the POPART programming environment generator.