Why?
A
communication device between people who need to have a common understanding of
the PL:
language designer, language
implementer, user
What to specify?
Specify what is a well formed
program
syntax
contextual constraints (also called
static semantics):
scoping rules
type rules
Specify what is the meaning of
(well formed) programs
semantics (also called runtime
semantics)