a formal set of terms used by a programmer when writing code