From Programs to Object Code using Logic and Logic Programming.

Jonathan P. Bowen From Programs to Object Code using Logic and Logic Programming. 173-192 1991 Code Generation db/conf/dagstuhl/code1991.html#Bowen91