Chapter 1: Introduction to Java

A programming language is called . type-safe. if its design prevents type errors. Statically type-safe object-oriented languages guarantee the following type invariant: In every execution state, the type of the value held by a variable v is a subtype of the declared type of v . ................
................