أرسل هذا في رسالة قصيرة: Runtime techniques and interprocedural analysis in Java virtual machines /