13. What does it mean for a program to be reliable ?
A program is said reliable if and only if it performs its normal function specified under all conditions. There are some checks a program must pass to be called reliable : Type Checking, Exception Handling, Aliasing and Readability and Writability