From ed8bdd44040c6f484317b50b245097d025443b8d Mon Sep 17 00:00:00 2001 From: Grigore Rosu Date: Tue, 26 Sep 2023 11:55:12 -0500 Subject: [PATCH] Update index.md --- teaching/2023/cs422/index.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/teaching/2023/cs422/index.md b/teaching/2023/cs422/index.md index ea49e73..eeb98a7 100644 --- a/teaching/2023/cs422/index.md +++ b/teaching/2023/cs422/index.md @@ -87,5 +87,11 @@ Note: See the [abort](https://github.com/runtimeverification/k/tree/master/k-dis --- +- ***Matching Logic - A Minimal Foundation for Programming Languages*** + - Optional, but informative. Matching logic is the logic undelying K. + - http://matching-logic.org + - [Marktoberdorf Lecture Notes](https://events.model.in.tum.de/mod23/lectures.html) + +--- ... more to come ... ---