From The Free On-line Dictionary of Computing (19 January 2023): Paddle A language for transformations leading from specification to program. Used in the POPART programming environment generator. (1994-11-30)
Paddle
A language for transformations leading from specification to program. Used in the POPART programming environment generator.
(1994-11-30)