Sementics- directed compiler generation : proceeding of a workshop Aarhus, Denmark, January 14-18, 1980 - Ganzinger, Harald (rz1, 1980)