Lennart Beringer A Programming Language Based Analysis of Operand Forwarding. 270-276 http://dx.doi.org/10.1007/978-3-540-39724-3_24 2003 conf/charme/2003 CHARME db/conf/charme/charme2003.html#Beringer03