Language Design Trade-Offs

• Reliability vs. Cost of execution
• Ada has range checking.  ( Code added by compiler)
• C has no range checking.
• Flexibility vs. Safety
• Pascal's type checking allows a program to do arithmetic on pointers.