A language for transformations leading from specification to program. Used in the POPART programming environment generator.
Nearby terms: PACTOLUS « PAD « padded cell « Paddle » PAGE » page » paged
