The process of taking an expression and figuring out its return value