phân tích tĩnh và kiểm chứng chương trình

Luận văn thạc sĩ nghiên cứu vnu uet phương pháp dựa trên hệ thống kiểu để tính cận trên tài nguyên của các chương trình, khảo sát thực trạng, phân tích nguyên nhân, đề xuất giải