Bài giảng chương trình dịch – chương 6 – KIỂM TRA KIỂU

Nội dung bài giảng chương trình dịch – chương 6 – KIỂM TRA KIỂU: Hai cách kiểm tra kiểu là kiểm tra tĩnh được thực hiện trong thời gian biên dịch chương trình nguồn và kiểm tra động được thực hiện trong thời gian thực thi chương trình đích. Trong chương này ta tập trung vào phần xử lý ngữ nghĩa bằng cách kiểm tra tĩnh mà cụ thể là kiểm tra kiểu. Phần đầu của chương trình bày các khái niệm về hệ thống kiểu, các biểu thức kiểu. Phần còn lại mô tả cách tạo ra một bộ kiểm tra kiểu đơn giản

Vui lòng tải xuống để xem tài liệu đầy đủ

Để tải link từ 123link.co bạn check vào I'm not a robot và chọn Get link để tải về

TÀI LIỆU LIÊN QUAN

Hãy bình luận đầu tiên

Để lại một phản hồi

Thư điện tử của bạn sẽ không được hiện thị công khai.


*