أرسل هذا في رسالة قصيرة: Towards Practical and Automated Type-Based Program Analysis in Java