Interpreter

Mathematically, denote $\mathcal{P}_L$ as the set of programs written in the language $L$ and $V$ the set of all possible values, an interpreter is a function $I: \mathcal{P}_L \to V$.