From: Eshel Yaron Date: Wed, 5 Apr 2023 09:27:32 +0000 (+0300) Subject: * The Self-Healing Code Fallacy: minor rewording X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=ee37efc4d6c1bb90f0626ab7e3e2c62fdcc3b226;p=esy-publish.git * The Self-Healing Code Fallacy: minor rewording --- diff --git a/src/posts/2023-04-05-the-self-healing-code-fallacy.org b/src/posts/2023-04-05-the-self-healing-code-fallacy.org index 3f0fb6c..05f7a5a 100644 --- a/src/posts/2023-04-05-the-self-healing-code-fallacy.org +++ b/src/posts/2023-04-05-the-self-healing-code-fallacy.org @@ -68,8 +68,8 @@ Contrast this wishful-thinking, eye-shutting, based approach with something like [[https://pumpkin.uwplse.org/][PUMPKIN PATCH]] from Talia Ringer et al., where /automatic proof repair/ (a much more suitable term then "self-healing code") is done in the setting of a formal specification of what the -program must do (or rather, what it must /be/--what type it needs to -populate). +program must do (or rather, what it must /be/--what type it should +inhabit). * Conclusion