Deck 11: Abstract Data Types and Modules

Question 1

An integer is an example of a predefined data type.

Answer 1

True

Question 2

Exported names should be qualified by the module name to avoid accidental name clashes.

Answer 2

True

Question 3

Only prototypes are placed in a C header file.

Answer 3

False

Question 4

The use of namespaces is explicitly tied to separate compilation.

Question 5

Incomplete types are missing their actual representation.

Question 6

Abstract data types are independent of the language paradigm.

Question 7

Predicates and selectors are subtypes of constructors.

Question 8

The C compiler enforces all of the protection rules normally associated with module or ADT mechanisms.

Question 9

An algebraic specification of an abstract data type provides a concise specification of the type and its associated operations.

Question 10

Axioms that are used to specify error values are called error axioms.

Question 11

Objects in an object-oriented programming and abstract data type mechanisms are essentially the same,with the same level of active control.

Question 12

The mathematical concept of a type is the conceptual model for actual types.

Question 13

Mathematical models of an abstract data type can be given in terms of an algebraic specification.

Question 14

Information hiding refers to the separation of data from the programmer.

Question 15

Modules enhance the problem of name proliferation.

Question 16

Pointers are automatically dereferenced in Ada by the dot notation.

Question 17

The arrow of the syntactic specifications of a function separates the function's domain and range.

Question 18

Modifiability,reusability and security are three important design goals of abstract data types.

Question 19

The Java import declaration does not correspond to the abstract notion of an import in the definition of a module.

Question 20

Encapsulation refers to the collection of all definitions related to a data type in one location

Question 21

In C,a function declaration without a body is called a(n)____.

A) header
B) infix function
C) prototype
D) module

Question 22

Initial semantics assume that any two data values that cannot be distinguished by inspector operations must be equal.

Question 23

In Modula-2,the declarations that appear in the DEFINITION MODULE are exported and are usable by other modules.

Question 24

An operation that creates a new object of the data type being defined is called a(n)____.

A) constructor
B) initializer
C) generator
D) invoker

Question 25

____ is the separation of implementation details from definitions.

A) Encapsulation
B) Information hiding
C) Type checking
D) Obfuscation

Question 26

In the example of a complex number data type presented in the textbook,the properties of the complex data type can be ____ from those of the real data type by stating properties of the operations.

A) inferred
B) implied
C) derived
D) assumed

Question 27

In a language-independent specification of a data type in which the signature depends on another type,we say that it ____ the other type.

A) loads
B) imports
C) borrows from
D) inherits

Question 28

ML user-defined operators are known as ____.

A) overloaded operators
B) enhanced operators
C) operator functions
D) infix functions

Question 29

The ____ of a data type includes the name of the type and the names of the operations.

A) definition
B) parameters
C) signature
D) properties

Question 30

An existential type of an abstract data type asserts the existence of an actual type that meets its requirements.

Question 31

A(n)____ is a program unit with a public interface and a private implementation.

A) module
B) data type
C) axiom
D) block

Question 32

The principle of extensionality states that two things are equal precisely when all their components are equal.

Question 33

Data types can be ____ by creating specifications with unspecified data types.

A) parameterized
B) overloaded
C) shadowed
D) made generic

Question 34

A ____ is a combination of simple values organized in a particular manner.

A) variable
B) class
C) data type
D) data structure

Question 35

Object oriented languages solve the initialization problem by the use of constructors.

Question 36

In mathematics,the semantic properties of functions are often described by ____.

A) formulas
B) axioms
C) symbols
D) proofs

Question 37

A(n)____ is a set of values,along with certain operations on those values.

A) expression
B) data type
C) variable
D) class

Question 38

____ are collections of services that may or may not include a data type or types.

A) Modules
B) Data types
C) Classes
D) Objects

Question 39

Predicates are inspectors that return ____ data.

A) integer
B) Boolean
C) string
D) floating point

Question 40

Inspectors are operations that ____.

A) retrieve previously constructed values
B) verify data correctness
C) check for security holes
D) analyze data types

Question 41

The namespace-like mechanism in Java is the ____.

A) module
B) namespace
C) import
D) package

Question 42

Axiom ____ is the property that no axiom is implied by other axioms.

A) distinction
B) separation
C) specification
D) independence

Question 43

Parameterized packages are called ____ packages in Ada.

A) flexible
B) signature
C) generic
D) incomplete

Question 44

In CLU,modules are defined using the ____ mechanism.

A) package
B) cluster
C) namespace
D) import

Question 45

A set and operations that meet the algebraic specification of an abstract data type are a(n)____ for the specification.

A) example
B) model
C) prototype
D) abstract

Question 46

The C++ ____ mechanism is used to simulate the support of modules in C.

A) package
B) module
C) namespace
D) include

Question 47

____ parameterization forces Ada to assume operations beyond basic equality and assignment.

A) Constrained
B) Specified
C) Inferred
D) Linked

Question 48

In ML,a signature is essentially the type of the ____.

A) class
B) package
C) structure
D) function

Question 49

Using the initial algebra as the data type of the specification results in what are called the ____.

A) algebraic definitions
B) initial definitions
C) algebraic semantics
D) initial semantics

Question 50

Ada's module mechanism is the ____.

A) package
B) module
C) namespace
D) import