Project #3: A Little Bit of Metatheory

Submit: Turn in your written solutions in the D2L DropBox.

This assignment is not code. This is a written homework assignment, which you should carry out on paper and/or electronically, uploading an electronic copy to D2L. Work is to be completed individually. Be certain to include your name.

Program Analysis: having set

Chapter 1.10.9, exercise 19.

Program Analysis: lacking set

Chapter 1.10.9, exercise 20.

Metatheory: an expression either has set or it doesn't

Chapter 1.10.10, exercise 22.

Program Analysis and Expression Evaluation: Does lacking set guarantee unchanged variables?

Chapter 1.10.10, exercise 25.


[back]

[Revised 2023 Sep 13 12:37 DWB]