Alexander Sakharov Specialization of Imperative Programs Through Analysis of Relational Expressions. 430-445 1996 conf/dagstuhl/1996pe Dagstuhl Seminar on Partial Evaluation db/conf/dagstuhl/dagstuhl-pe96.html#Sakharov96