Ratatosk
Ratatosk
Even though the sematic value of a production is afunction of the attributes of its right-hand side (and thusapparently purely synthesised), inherited attributes areeasily simulated by using higher-order functions.
ftp://ftp.diku.dk/pub/diku/dists/Ratatosk.tar.Z.