Giá trị (khoa học máy tính)

Bài viết này cần thêm chú thích nguồn gốc để kiểm chứng thông tin. Mời bạn giúp hoàn thiện bài viết này bằng cách bổ sung chú thích tới các nguồn đáng tin cậy. Các nội dung không có nguồn có thể bị nghi ngờ và xóa bỏ. (August 2009)

Trong khoa học máy tính, giá trị (tiếng Anh: value) là một biểu thức mà không thể đánh giá thêm được nữa (một dạng chuẩn).^{[Còn mơ hồ – thảo luận][1]} Các thành viên của một loại là những giá trị của kiểu đó.^[2] Ví dụ, biểu thức 1 + 2 không phải là giá trị bởi vì nó có thể được rút gọn thành biểu thức 3. Biểu thức này không thể được rút gọn thêm nữa (và là thành viên của kiểu số tự nhiên - natural number) và do vậy là giá trị.

"Giá trị của một biến" được tính bởi ánh xạ trong môi trường.^{[cần dẫn nguồn]} Trong ngôn ngữ với biến có thể gán, cần phân biệt giữa r-value (hay nội dung) và l-value (hay vị trí) của biến.^[3]

Trong ngôn ngữ (cấp cao) khai báo, giá trị phải được minh bạch tham chiếu. Điều này có nghĩa là giá trị kết quả độc lập với vị trí trong đó biểu thức (phụ) cần tính toán giá trị được lưu trữ. Chỉ nội dung của vị trí (giá trị bit, 1 hay 0) và sự thể hiện của chúng là quan trọng.^{[cần dẫn nguồn]}

• Mitchell, John C. (1996). Foundations for Programming Languages. The MIT Press. ISBN 0-262-13321-0.
• Strachey, Christopher (2000). “Fundamental Concepts in Programming Languages”. Higher-Order and Symbolic Computation. 13: 11–49. doi:10.1023/A:1010000313106.

• Value Object
• Transfer Object Pattern