Bài giảng Trình biên dịch - Chương 6: Xử lý ngữ nghĩa
Xử lý ngữ nghĩa có hai cách: kiểm tra tĩnh (static check) và kiểm tra động (dynamic check).
Trong chương này chúng ta chỉ bàn đến kiểm tra ngữ nghĩa tĩnh.
Xử lý ngữ nghĩa tĩnh bao gồm:
1. Truyền thuộc tính
2. Kiểm tra kiểu
3. Kiểm tra trình tự điều khiển
4. Kiểm tra tính duy nhất
5. Kiểm tra mối liên hệ của tên
6. Xử lý các phát biểu goto tham khảo trước
Bài giảng Trình biên dịch - Chương 6: Xử lý ngữ nghĩa trang 1
Bài giảng Trình biên dịch - Chương 6: Xử lý ngữ nghĩa trang 2
Bài giảng Trình biên dịch - Chương 6: Xử lý ngữ nghĩa trang 3
Bài giảng Trình biên dịch - Chương 6: Xử lý ngữ nghĩa trang 4
Bài giảng Trình biên dịch - Chương 6: Xử lý ngữ nghĩa trang 5
Tải về để xem đầy đủ hơn
File đính kèm:
bai_giang_trinh_bien_dich_chuong_6_xu_ly_ngu_nghia.pdf
