DMCA

Type systems for optimizing stack-based code (2007)

Cached

Download Links

by Ando Saabas , Tarmo Uustalu
Venue:in Proc. of 2nd Wksh. on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE 2007, Vol. 190(1) of Electron. Notes in
Citations:6 - 3 self