Une expression d'un langage de programmation est une combinaison de valeurs, variables, opérateurs, et de fonctions qui sont interprétés (évalués) selon des règles particulières de précédence et d'associativité dans le cadre d'un langage de programmation particulier, qui calcule et produit (retourne, dans le cas d'un environnement à état) une autre valeur. En mathématiques, l'expression est sa valeur évaluée; l'expression est une représentation de cette valeur.
Les expressions peuvent avoir ou non des effects de bords et de perdre la transparence référentielle.