Multiple Choice
The process a translator goes through to determine whether the type information in a program is consistent is called type ____.
A) inference
B) constructing
C) equivalence
D) checking
Correct Answer:

Verified
Correct Answer:
Verified
Related Questions
Q39: Explicit typing can be used to remove
Q40: Subset types inherit operations from their parent
Q41: Every language comes with a set of
Q42: Java does not allow dynamically sized arrays.
Q43: Ada has a completely safe union mechanism,called
Q45: Casts are permitted on structured types if
Q46: The process of attaching types to expressions
Q47: A narrowing conversion is an implicit conversion
Q48: In a strongly typed programming language,the set
Q49: _ types are sets whose elements are