8. What is the purpose of lexical/static scoping in a programming language?
9. What is a common method for testing a program's correctness?
10. Given a nondeterministic concurrently executing program, how can we evaluate the effect of that concurrency on the correctness of the program?
11. Explain the purpose of External, Class, and Internal documentation.
12. Explain why a relation is different from a function.
13. What is the process for converting a tuple into a dictionary?
14. Write a semantic statement to describe an execution state of a program with 2 threads, environment 'E', single assignment store 'm', and trigger store 't'.
15. How do we know if a concurrent program is declarative?
16. How does dynamic typing affect exception handling?