Giáo trình được chia thành hai phần gồm tám chương:
PHẦN MỘT trình bày về ngữ nghĩa hình thức của ngôn ngữ lập trình, gồm các chương:
Chương 1: Ngữ nghĩa hình thức (giới thiệu các loại ngữ nghĩa của ngôn ngữ lập trình)
Chương 2: Hàm số lớp thứ nhất
Chương 3: Phép toán lambda, (cơ sở lý thuyết của ngữ nghĩa biểu thị)
Chương 4: Các luật tiên đề, ứng dụng trong chứng minh đặc tả các phát biểu, chứng minh tính đúng đắn bộ phận của chương trình
Chương 5: Trình bày về cú pháp trừu tượng, ngữ nghĩa và hàm ngữ nghĩa (trên cơ sở đặc tả biểu thức lambda) của ngôn ngữ lập trình đơn giản cũng như những ứng dụng của ngữ nghĩa biểu thị
PHẦN HAI trình bày về song song hóa cấu trúc điều khiển của chương trình tuần tự, gồm các chương:
Chương 6: Kiến thức chung về các loại phụ thuộc và kỹ thuật loại bỏ phụ thuộc dữ liệu và chuyển dịch chương trình để thực hiện song song hóa chương trình ở cấp phát biểu
Chương 7: Xử lý cấu trúc IF, giới thiệu các kỹ thuật chuyển đổi phụ thuộc điều khiển sang phụ thuộc dữ liệu và các phương pháp gỡ bỏ các rẽ nhánh trong chương trình
Chương 8: Trình bày một số nghiên cứu hiện nay về song song hóa cấu trúc điều khiển của chương trình tuần tự ở cấp phát biểu.
Bình luận