A language for transformations leading from specification to program. Used in the POPART programming environment generator.
(1994-11-30)
Try this search on Wikipedia, OneLook, Google
Nearby terms: PACTOLUS « PAD « padded cell « Paddle » PAGE » page » paged
