From 9819eb06edc44ca84a1912ad7093bb3dbbb06b14 Mon Sep 17 00:00:00 2001 From: Grigore Rosu Date: Tue, 27 Aug 2024 11:40:24 -0500 Subject: [PATCH] Update index.md --- teaching/2024/cs422/index.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/teaching/2024/cs422/index.md b/teaching/2024/cs422/index.md index 6edf5f3..5fc75f1 100644 --- a/teaching/2024/cs422/index.md +++ b/teaching/2024/cs422/index.md @@ -33,6 +33,6 @@ CS422 is an advanced course on principles of programming language design. Major The links below provide you with useful material for this class, including complete lecture notes. These materials will be added by need. - ***Introduction.*** [Slides](CS422-Fall-2024-01.pdf) -- ***Structural Operational Semantics.*** [Slides]({{site.baseurl}}/assets/CS422-Fall-2024-02-Conventional-Executable-Semantics.pdf) - - Book lecture notes on the IMP language, big-step SOS, and small-step SOS (you can skip the rewriting logic and Maude parts; comments welcome!): [IMP-BigStep-SmallStep]({{site.baseurl}}/assets/CS422-Fall-2024-02a-IMP-BigStep-SmallStep.pdf) +- ***Structural Operational Semantics.*** [Slides](CS422-Fall-2024-02-Conventional-Executable-Semantics.pdf) + - Book lecture notes on the IMP language, big-step SOS, and small-step SOS (you can skip the rewriting logic and Maude parts; comments welcome!): [IMP-BigStep-SmallStep](CS422-Fall-2024-02a-IMP-BigStep-SmallStep.pdf)