TAILIEUCHUNG - ctd_chuong_5_kiem_tra_kieu_0684

CHƯƠNG V. Kiểm tra tiêu:.• Nắm được cách định nghĩa hệ thống các ngôn ngữ lập trình.• Cách kiểm tra kiểu trong quá trình biên dịch. 1 Biểu thức kiểu.• Kiểu của một ngôn ngữ lập trình được kí hiệu. bởi các biểu thức kiểu (type expression)• Biểu thức kiểu được định nghĩa như sau:.1. Kiểu cơ sở là một biểu thức kiểu: boolean,. char, integer, real, type_error, . Một tên kiểu là một biểu thức . Mỗi kiểu dữ liệu có cấu trúc là một biểu thức. kiểu, các cấu trúc bao gồm:. 2a. Mảng (array): Nếu T là một biểu thức kiểu thì. array(I, T) là một biểu thức kiểu. Một mảng có. tập chỉ số I và các phần tử có kiểu . Tích (product): Nếu T1, T2 là biểu thức kiểu thì. tích Đề- các T1* T2 là biểu thức . Bản ghi (record): Là cấu trúc bao gồm một bộ. các tên trường, kiểu . Con trỏ (pointer): Nếu T là một biểu thức kiểu thì. pointer(T) là một biểu thức kiểu . Hàm (function): Hàm là một ánh xạ các phần tử. của tập xác định (domain) D lên tập giá trị. (range) R. Một hàm là một biểu thức kiểu D R. 3Đặc tả một bộ kiểm tra kiểu đơn giản.• Trong phần này chúng ta mô tả một bộ kiểm tra. kiểu cho một ngôn ngữ đơn giản trong đó kiểu. của mỗi một định danh được khai báo trước khi. sử dụng.• Bộ kiểm tra kiểu (type checker) là một lược đồ. dịch, nó tổng hợp kiểu của mỗi biểu thức từ kiểu. của các biểu thức con của nó. 4• Định nghĩa một ngôn ngữ đơn giản: Văn phạm sau. sinh ra một chương trình, biểu diễn bởi một ký hiệu. chưa kết thúc P chứa một chuỗi các khai báo D và. một biểu thức đơn giản E. P D;E. D D ; D | id : T. T char

• Lịch sử - Văn hoá