True/False Questions on Abstraction and Analysis

1. To use functions/classes/methods defined in a library correctly, you must understand the API (i.e., what the parameters and the return values are).

2. Assuming the pre- and postconditions and code are correct, the post condition is guaranteed to be true after the code is executed if the precondition is met before the code is executed.

3. A function that detects a violation of its precondition should print put an error message.

7. A function with more lines of code can be faster than a function with fewer lines.

8. Theta notation is an effective measure of algorithm efficiency when the expected input size for the algorithm is small.