Review Questions
to express propositions, to express the relationships between propositions, and to
describe how new propositions can be inferred from other propositions that
are assumed to be true.
Review Questions
Functional form : one that either takes one or more functions as parameters or yields a function as its result.
Simple list : A list that does not include sublist.
Bound variable : A bound variable is a variable which never changes in the expression after being bound to an actual parameter value at the time evaluation of the lambda expressions begin.
Referential transparency : A state where execution of function always produces the same result when given the same parameters.
Review Questions
Exception : any unusual event, erroneous or not, that is detectable by either hardware or software and that may require special processing.
Exception handler : a code unit which processes an exception.
Raising an exception : When a event associated with an exception occurs
Disabling an exception : Ignoring a certain hardware-detectable exceptions.
Continuation : Control transfer to somewhere in the program outside of the handler code or program might terminate .
Finalization : ability to complete some computation regardless of how subprogram execution terminates.
Built-in exception : Exception that is not made by the user, but rather comes as default.
Review Questions
Instruction level, Statement level, and Unit level
Review Questions
C++ and Objective-c
Review Questions
Process Abstraction and Data Abstraction
Review Questions
Status information can be saved by either caller or callee.
Review Questions
- Each subprogram has single entry point
- The calling program unit is suspended during the execution of the called subprogram, which implies that there is only one subprogram in execution at any given time.
- Control always returns to the caller when the subprogram execution terminates
Review Questions
Linguistic mechanisms that selecting among alternative control flow paths and causing repeated execution of statements or sequence statements.
