Logic specification of code generation techniques.

Robert Giegerich Logic specification of code generation techniques. 96-111 1985 conf/pdo/1985 Programs as Data Objects db/conf/pdo/pdo1985.html#Giegerich85 http://dx.doi.org/10.1007/3-540-16446-4_6