Model consisting of states and transitions.

Explicit metadata specifying a value's type.

Cookie used to maintain session state.

Library incorporated into programs during linking.

Transforming a value from one data type to another.

Library usable by multiple programs.

Resource included or known without runtime generation.

Logic used to narrow or verify a data type.

Code describing the result of an operation or request.

Memory region accessible by multiple processes.