Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Sức khỏe - Y tế
Văn bản luật
Nông Lâm Ngư
Kỹ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Tài liệu HOT
Tìm
Danh mục
Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Y tế sức khỏe
Văn bản luật
Nông lâm ngư
Kĩ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Thông tin
Điều khoản sử dụng
Quy định bảo mật
Quy chế hoạt động
Chính sách bản quyền
0
Trang chủ
Công Nghệ Thông Tin
Kỹ thuật lập trình
Tài liệu trình biên dịch C (ĐH Cần Thơ) part 18
TAILIEUCHUNG - Tài liệu trình biên dịch C (ĐH Cần Thơ) part 18
CHƯƠNG VI KIỂM TRA KIỂU Nội dung chính: 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. Mục tiêu. | CHƯƠNG VI KIỂM TRA KIỂU Nội dung chính 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. Mục tiêu cần đạt Sau khi học xong chương này sinh viên phải nắm được Hệ thống kiểu với các biểu thức kiểu kiểu cơ sở và kiểu có cấu trúc thường gặp ở bất cứ một ngôn ngữ lập trình nào. Dịch trực tiếp cú pháp cài đặt bộ kiểm tra kiểu đơn giản từ đó có thể mở rộng để cài đặt cho những ngôn ngữ phức tạp hơn. Kiến thức cơ bản Sinh viên phải biết một số ngôn ngữ lập trình cấp cao như Pascal C Java hoặc đã được học môn ngôn ngữ lập trình phần đề cập đến các kiểu cơ sở và kiểu có cấu trúc . Tài liệu tham khảo 1 Compilers Principles Technique and Tools - Alfred Jeffrey - Addison - Wesley Publishing Company 1986. 2 Modern Compiler Implementation in C - Andrew W. Appel - Cambridge University Press 1997. 3 Compiler Design - Reinhard Wilhelm Dieter Maurer - Addison - Wesley Publishing Company 1996. I. HỆ THỐNG KIỂU Trong các ngôn ngữ nói chung đều có kiểu cơ sở và kiểu có cấu trúc. Chẳng hạn trang Pascal kiểu cơ sở là boolean char integer real kiểu miền con và kiểu liệt kê. Các kiểu có cấu trúc như mảng mẩu tin tập hợp . 1. Biểu thức kiểu Biểu thức kiểu bao gồm 1. Kiểu cơ sở là một biểu thức kiểu boolean char integer real. Ngoài ra còn có các kiểu cơ sở đặc biệt như kiểu type_error chỉ ra một lỗi trong quá trình kiểm tra kiểu kiểu void không có giá trị cho phép kiểm tra kiểu đối với lệnh. 135 2. Vì biểu thức kiểu có thể được đặt tên tên kiểu là một biểu thức kiểu. 3. Cấu trúc kiểu là một biểu thức kiểu các cấu trúc bao gồm a. Mảng array Neu T là một biểu thức kiểu thì array I T là một biểu thức kiểu. .
Duy Ngôn
67
7
pdf
Báo lỗi
Trùng lắp nội dung
Văn hóa đồi trụy
Phản động
Bản quyền
File lỗi
Khác
Upload
Tải xuống
đang nạp các trang xem trước
Bấm vào đây để xem trước nội dung
Tải xuống
TÀI LIỆU LIÊN QUAN
Tài liệu trình biên dịch C (ĐH Cần Thơ) part 4
9
63
0
Tài liệu trình biên dịch C (ĐH Cần Thơ) part 5
7
63
0
Tài liệu trình biên dịch C (ĐH Cần Thơ) part 6
9
59
0
Tài liệu trình biên dịch C (ĐH Cần Thơ) part 7
10
55
0
Tài liệu trình biên dịch C (ĐH Cần Thơ) part 8
8
62
0
Tài liệu trình biên dịch C (ĐH Cần Thơ) part 9
12
64
0
Tài liệu trình biên dịch C (ĐH Cần Thơ) part 10
6
85
0
Tài liệu trình biên dịch C (ĐH Cần Thơ) part 11
15
51
0
Tài liệu trình biên dịch C (ĐH Cần Thơ) part 13
9
57
0
Tài liệu trình biên dịch C (ĐH Cần Thơ) part 14
5
58
0
TÀI LIỆU XEM NHIỀU
Một Case Về Hematology (1)
8
461867
55
Giới thiệu :Lập trình mã nguồn mở
14
22643
59
Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh
13
10892
529
Câu hỏi và đáp án bài tập tình huống Quản trị học
14
10066
446
Phân tích và làm rõ ý kiến sau: “Bài thơ Tự tình II vừa nói lên bi kịch duyên phận vừa cho thấy khát vọng sống, khát vọng hạnh phúc của Hồ Xuân Hương”
3
9519
104
Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)
249
8281
1125
Tiểu luận: Nội dung tư tưởng Hồ Chí Minh về đạo đức
16
8238
423
Mẫu đơn thông tin ứng viên ngân hàng VIB
8
7864
2220
Đề tài: Dự án kinh doanh thời trang quần áo nữ
17
6687
253
Vật lý hạt cơ bản (1)
29
5770
85
TỪ KHÓA LIÊN QUAN
Kỹ thuật lập trình
trình biên dịch c
thủ thuật lập trình
lập trình c
tài liệu trình biên dịch
biên dịch c
TÀI LIỆU MỚI ĐĂNG
Báo cáo khoa học: Loss of kinase activity in Mycobacterium tuberculosis multidomain protein Rv1364c
14
235
0
27-04-2024
Management and Services Part 1
10
156
0
27-04-2024
Công nghiệp gang thép Việt Nam : Một giai đoạn phát triển và chuyển đổi chính sách mới part 5
6
194
0
27-04-2024
The profit magic of stock Timing The Markets_5
22
119
0
27-04-2024
New Trends and Developments in Automotive Industry Part 7
35
95
0
27-04-2024
báo cáo hóa học:" Rare ligamentum flavum cyst causing incapacitating lumbar spinal stenosis: Experience with 3 Chinese patients"
4
96
0
27-04-2024
Khóa luận tốt nghiệp: Giải pháp nâng cao chất lượng phương thức thanh toán tín dụng chứng từ phục vụ xuất nhập khẩu tại ngân hàng Thương mại Việt Nam - Trần Thị Tân
12
118
0
27-04-2024
GIÁO TRÌNH VI XỬ LÝ 1 - CHƯƠNG 5. LẬP TRÌNH CHO VI ĐIỀU KHIỂN 80C51
23
107
1
27-04-2024
Kỹ thuật nuôi cá rồng part 5
7
127
0
27-04-2024
A Practical Guide for Health Researchers - part 7
24
108
0
27-04-2024
TÀI LIỆU HOT
Mẫu đơn thông tin ứng viên ngân hàng VIB
8
7864
2220
Giáo trình Tư tưởng Hồ Chí Minh - Mạch Quang Thắng (Dành cho bậc ĐH - Không chuyên ngành Lý luận chính trị)
152
5737
1368
Ebook Chào con ba mẹ đã sẵn sàng
112
3767
1231
Ebook Tuyển tập đề bài và bài văn nghị luận xã hội: Phần 1
62
5319
1136
Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)
249
8281
1125
Giáo trình Văn hóa kinh doanh - PGS.TS. Dương Thị Liễu
561
3499
643
Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh
13
10892
529
Giáo trình Sinh lí học trẻ em: Phần 1 - TS Lê Thanh Vân
122
3684
525
Giáo trình Pháp luật đại cương: Phần 1 - NXB ĐH Sư Phạm
274
4046
515
Bài tập nhóm quản lý dự án: Dự án xây dựng quán cafe
35
4128
480
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.