safe typing (Q736866)
property of a type system that prevents certain erroneous or undesirable program behaviours
Language:
Current Data About safe typing
other details
aliases type soundness
type-safe
type safety typing
type safety system
type safety
safety typing
description property of a type system that prevents certain erroneous or undesirable program behaviours

External Links