Đặc điểm của chương trình STM
-
Luận án được bố cục bao gồm 6 chương: Chương 1 giới thiệu tổng quan về bài toán đặt ra, những đóng góp chính của luận án; Chương 2 trình bày những kiến thức cơ bản, nền tảng, và những nghiên cứu liên quan; Chương 3 xây dựng ngôn ngữ giao dịch tối giản và hệ thống kiểu để ước lượng biên tài nguyên tiêu thụ của chương trình; Chương 4 mở rộng ngôn ngữ của chương 3 với việc bổ sung các lệnh cơ bản đối với ngôn ngữ lập trình hướng cấu trúc;...
29p viyeri2711 14-09-2021 15 3 Download