From ee37efc4d6c1bb90f0626ab7e3e2c62fdcc3b226 Mon Sep 17 00:00:00 2001 From: Eshel Yaron Date: Wed, 5 Apr 2023 12:27:32 +0300 Subject: [PATCH] * The Self-Healing Code Fallacy: minor rewording --- src/posts/2023-04-05-the-self-healing-code-fallacy.org | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 2.39.2