Trong một ngôn ngữ lập trình, một biểu hiện có ý nghĩa mà xác định dữ liệu, chỉ định các chương trình hành động hoặc chỉ đạo, lắp ráp hoặc biên dịch.