SMS: Meaning and Reference in Programming Languages