Static Safety

Kind: quality-attribute

Layer: Correctness Core

Record: lexicon:static-safety

Canonical: Lexicon

The guarantee that whole classes of errors are caught at compile time, before code runs.

Listed in Lexicon terms, after Robustness and before Substitutability.

Category

• Quality Attributes

In tension with

• Dynamic Binding
• Runtime Code Generation
• Dynamic Binding / Static Safety
• Runtime Code Generation / Static Safety

Linked from

• Runtime Discovery / Dynamic Binding
• Correctness / Determinism / Verification
• Metaprogramming / Language-Oriented Architecture
• The resolutions