Exam 8: Data Types

Every language comes with a set of predefined types from which all other types are constructed.

Java does not allow dynamically sized arrays.

Ada has a completely safe union mechanism,called a variant record.

The process a translator goes through to determine whether the type information in a program is consistent is called type ____.

Casts are permitted on structured types if they have identical sizes in memory.

The process of attaching types to expressions is called type ____.

A narrowing conversion is an implicit conversion that may result in loss of data.

In a strongly typed programming language,the set of legal programs is a proper subset of the set of safe programs.

____ types are sets whose elements are named and listed explicitly.

In Java,types constructed using type constructors are called ____ types.