COSC95A | FINALS Flashcards
(21 cards)
basic type or constructed type by applying type constructors to type expressions
type expression
the activity of ensuring that the operands of an operator are of compatible types
type checking
one that is either legal for the operator or is allowed under language rules to be implicitly converted by compiler-generated code to a legal type
compatible type
the automatic conversion in type checking
coercion
____ in a compiler should report an error if an operator is applied to an incompatible operand
type checking
it verifies that the type of construct matches that expected by its context
type checker
___ gathered by a type checker may be needed when code is generated
type information
application of an operator to an operand of an inappropriate type
type error
Incompatible types, assignment of wrong types, argument mismatch, etc. are examples of
type error
a type checking where the bug is found automatically before the program even runs
static checking
it is performed at compile time
static checking
examples of static checks
type checks
flow of control checks
uniqueness checks
name-related checks
a compiler should report an error if an operator is applied to an incompatible operand
type checks
statements that cause the flow of control to leave a construct must have someplace to which to transfer the flow of control
flow of control checks
there are situations in which an object must be defined only once
uniqueness checks
sometimes the same name may appear two or more times
name-related checks
a type checking where the bug is found automatically when the code is executed
dynamic checking
it is being done at the run time
dynamic checking
it involves verifying the code without executing it, at a syntax level
static checking
static checking is usually a __ using the grammar rules defined
static validation
