Learning Objectives

With this assignment you will demonstrate:

• Increased fluency with the Lambda Calculus
• The ability to write big-step operational semantic specifications
• The ability to write small-step operational semantic specifications
• An understanding of the various forms of operational semantic descriptions

Readings and Videos

Please:

• Read the Preface and Chapters 1, 5, and 8 of the Slonneger and Kurtz Textbook.
• Review the course notes for Syntax, Semantics, and Operational Semantics.
• Watch all of the embedded videos in the course notes listed above. Also, follow a few of the links on those pages that interest you.

Instructions

Submit your answers on a PDF or Markdown document uploaded to BrightSpace.

Problems to Submit

Textbook problems only for this assignment!

1. Problem 1.4.3 in Slonneger and Kurtz
2. Problem 5.1.1 in Slonneger and Kurtz
3. Problem 5.1.2 in Slonneger and Kurtz
4. Problem 5.1.3 in Slonneger and Kurtz
5. Problem 5.2.3 in Slonneger and Kurtz
6. Problem 5.2.7 (a) in Slonneger and Kurtz
7. Problem 8.5.1 in Slonneger and Kurtz
8. Problem 8.5.9 in Slonneger and Kurtz
9. Problem 8.6.3 (a) and (c) in Slonneger and Kurtz. You may use either Natural Semantics or Structural Operational Semantics.
10. Problem 8.6.6 in Slonneger and Kurtz. You may use either Natural Semantics or Structural Operational Semantics.