In computer programming, a programming language specification (or standard or definition) is a specification language or documentation artifact that defines a programming language so that users and implementors can agree on what programs in that language