Đang chuẩn bị liên kết để tải về tài liệu:
Tóm tắt Luận án Tiến sĩ: Hệ thống kiểu để ước lượng tĩnh tài nguyên sử dụng của chương trình giao dịch

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; . | ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ NGUYỄN NGỌC KHẢI HỆ THỐNG KIỂU ĐỂ ƯỚC LƯỢNG TĨNH TÀI NGUYÊN SỬ DỤNG CỦA CHƯƠNG TRÌNH GIAO DỊCH TÓM TẮT LUẬN ÁN TIẾN SĨ NGÀNH CÔNG NGHỆ THÔNG TIN Hà Nội - 2021 Công trình được hoàn thành tại Trường Đại học Công Nghệ Đại học Quốc gia Hà Nội Người hướng dẫn khoa học PGS. TS. Trương Anh Hoàng Phản biện TS. Nguyễn Hữu Đức Phản biện TS. Đỗ Thị Bích Ngọc Luận án sẽ được bảo vệ trước Hội đồng cấp Đại học Quốc gia chấm luận án tiến sĩ tại phòng 212 nhà E3 Trường Đại học Công nghệ Đại học Quốc gia Hà Nội vào hồi . giờ . ngày . tháng . năm 2021 Có thể tìm hiểu luận án tại - Thư viện Quốc gia Việt Nam - Trung tâm Thông tin - Thư viện Đại học Quốc gia Hà Nội ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ NGUYỄN NGỌC KHẢI HỆ THỐNG KIỂU ĐỂ ƯỚC LƯỢNG TĨNH TÀI NGUYÊN SỬ DỤNG CỦA CHƯƠNG TRÌNH GIAO DỊCH Chuyên ngành Kỹ thuật phần mềm Mã số 9480103.01 TÓM TẮT LUẬN ÁN TIẾN SĨ NGÀNH CÔNG NGHỆ THÔNG TIN NGƯỜI HƯỚNG DẪN KHOA HỌC PGS. TS. TRƯƠNG ANH HOÀNG Hà Nội - 2021 Mục lục 1 Giới thiệu 1 1.1 Đặt vấn đề . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.2 Những đóng góp chính ý nghĩa khoa học và thực tiễn . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.3 Bố cục của luận án . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2 Kiến thức nền tảng và nghiên cứu liên quan 4 2.1 Cơ chế bộ nhớ giao dịch phần mềm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.1.1 Đặc điểm của chương trình STM . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.2 Hệ thống kiểu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.2.1 Khái niệm hệ thống kiểu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.2.2 Ứng dụng của hệ thống kiểu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.3 Nghiên .