No. 46 (2001): RS-46 The Implicit Computational Complexity of Imperative Programming Languages