Correctness Glossary

Browse 4 correctness terms defined in plain English, from the cultural dictionary of computing.

4 Correctness Terms

Proof by Induction: A proof technique that establishes a statement for all natural numbers by proving a base case and then showing that if the statement holds for n, it must hold...
Type Safe: Describes code, an API, or a library where the type system prevents operations on values of incompatible types at compile time, eliminating entire categories...
Type Safety: The degree to which a language or system prevents type errors — operations applied to values of the wrong type — through compile-time checks, runtime checks,...
Type Safety Slang: Informal use of type safety for the confidence gained when code structure prevents certain classes of mistakes. In engineering slang, the phrase often shows up...