From 0ab711491245c066252260d9fb902766a5851511 Mon Sep 17 00:00:00 2001 From: Grigore Rosu Date: Thu, 8 Feb 2024 10:24:56 -0600 Subject: [PATCH] Update index.md --- teaching/2024/cs522/index.md | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/teaching/2024/cs522/index.md b/teaching/2024/cs522/index.md index 7b54a0a..441f045 100644 --- a/teaching/2024/cs522/index.md +++ b/teaching/2024/cs522/index.md @@ -63,3 +63,14 @@ need* and more topics will be added. following exercises to warm-up (but please do not include them as part of your HW1 submission): Exercise 30; Exercise 32; Exercise 33; Exercise 35; Exercise 36. All at pages 80/81. + +- ### HW2 (due Thursday, February 15, AoE) {#hw2} + + The following exercises related to denotational semantics are from the book + material above: Exercises 80, 81, 82 (page 168; write these up on paper, or + in a PDF); Exercise 83 (page 169; do it only in Maude, that is, *not* on + paper, by modifying [the provided Maude code for + HW2](CS522-Spring-2024-Maude-HW2.zip)). + +- [Book material on IMP++: Challenging Big-Step SOS, Small-Step SOS, and + Denotational Semantics](CS522-Spring-2024-IMP++.pdf)