Kiểu dữ liệu trừu tượng

Not to be confused with Kiểu dữ liệu đại số.

Template:Đang dịch 2 (nguồn) Trong khoa học máy tính, kiểu dữ liệu trừu tượng (tiếng Anh: abstract data type, viết tắt: ADT) là một mô hình toán học cho kiểu dữ liệu mà ở đó dữ liệu được định nghĩa theo hành vi (ngữ nghĩa) của nó từ góc độ người dùng dữ liệu đó, đặc biệt là về các giá trị có thể và hoạt động có thể của dữ liệu loại này chứ không phải là về hành vi của những hoạt động này. Điều này trái ngược với cấu trúc dữ liệu, là những đại diện cụ thể của dữ liệu từ góc độ người hiện thực chứ không phải người dùng.

Tham khảo

• Liskov, Barbara; Zilles, Stephen (1974). "Programming with abstract data types". Proceedings of the ACM SIGPLAN Symposium on Very High Level Languages. SIGPLAN Notices. 9. pp. 50–59. doi:10.1145/800233.807045. 
• Dale, Nell; Walker, Henry M. (1996). Abstract Data Types: Specifications, Implementations, and Applications. Jones & Bartlett Learning. ISBN 978-0-66940000-7. 

Đọc thêm

• Mitchell, John C.; Plotkin, Gordon (July 1988). "Abstract Types Have Existential Type" (PDF). ACM Transactions on Programming Languages and Systems. 10 (3). doi:10.1145/44501.45065. 

Liên kết ngoài

• Abstract data type in NIST Dictionary of Algorithms and Data Structures

Thể loại:Kiểu dữ liệu trừu tượng Thể loại:Kiểu dữ liệu Thể loại:Lý thuyết kiểu