Intermediate Representations of Mobile Code. IJCAI 32 (1).