Una expresión en un lenguaje de programación es una combinación de valores explícitos, constantes, variables, operadores y funciones que se interpretan de acuerdo con las reglas particulares de precedencia y asociación para un lenguaje de programación particular, que calcula y luego genera (devuelve, en un estado ambiente) otro valor. Este proceso, como ocurre con las expresiones matemáticas, se llama evaluación. El valor puede ser de diferentes tipos, como numérico, de cadena y lógico. Por ejemplo, 2+3 es una expresión aritmética y de programación que da como resultado 5. Una variable es una expresión porque denota un valor en la memoria, por lo que y+6 es una expresión. Un ejemplo de una expresión relacional es 4≠4, que se evalúa como falso. En C y en la mayoría de los lenguajes derivados de C, una llamada a una función con un tipo de retorno nulo es una expresión válida, de tipo nulo. No se pueden utilizar valores de tipo void, por lo que el valor de tal expresión siempre se descarta. En muchos lenguajes de programación, una función y, por lo tanto, una expresión que contiene una función, puede tener efectos secundarios. Una expresión con efectos secundarios normalmente no tiene la propiedad de transparencia referencial. En muchos lenguajes (por ejemplo, C++), las expresiones pueden terminar con un punto y coma (;) para convertir la expresión en una declaración de expresión. Esto indica a la implementación que evalúe la expresión solo por sus efectos secundarios e ignore el resultado de la expresión.
