Most computer programming languages describe
programs that will be executed. The
languages contain elements that describe the static components of
programs - the
types - and the dynamic
components of programs - the
terms.
The
jpra language is a language
for describing fixed-size
types
and therefore has no dynamic components. Therefore,
programs written in the
jpra language are more appropriately
described as
schemas, and this is the
term that will be used to refer to them throughout this specification.