Bài giảng môn học 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: Truyền thuộc tính, kiểm tra kiểu, kiểm tra trình tự điều khiển, kiểm tra tính duy nhất, kiểm tra mối liên hệ của tên, xử lý các phát biểu goto tham khảo trước.

Từ khóa: Trình biên dịch, Bài giảng Trình biên dịch, Ngôn ngữ lập trình, Chương trình dịch, Đặc tả ngôn ngữ lập trình, Xử lí ngữ nghĩa