Type systems for optimizing stack-based code (2007)

by A Saabas, T Uustalu
Venue:in Proc. of 2nd Wksh. on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE 2007, Vol. 190(1) of Electron. Notes in