From 632cd4c42f2b1ae4993c27733031248382678194 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Tue, 31 Jul 2018 12:09:58 +0100 Subject: [PATCH] Update separationlogic.md --- teaching/separationlogic.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/teaching/separationlogic.md b/teaching/separationlogic.md index 4624b3f..78dc2c1 100644 --- a/teaching/separationlogic.md +++ b/teaching/separationlogic.md @@ -47,7 +47,7 @@ Feedback: Tuesday 21st of November Exam: TBC 11th week -Recommended Reading: Mike Gordon has some [excellent notes on Hoare logic](http://www.cl.cam.ac.uk/~mjcg/Teaching/2011/Hoare/Notes/Notes.pdf), which briefly touches on separation logic in the last chapter. +Recommended Reading: Mike Gordon has some [excellent notes on Hoare logic](http://www.cl.cam.ac.uk/archive/mjcg/HL/), which briefly touches on separation logic in the last chapter. Two good books on Hoare logic are: Logic in Computer Science: Modelling and Reasoning about Systems, Michael Huth and Mark Ryan, CUP, 2004; and The Formal Semantics of Programming Languages: an Introduction, Glynn Winskel, MIT Press, 1993. Most of the work on separation logic is in research papers. -- GitLab