From 351a3f17a4a5d1630c9e9795537157139e9eb53a Mon Sep 17 00:00:00 2001 From: eiffel-org Date: Tue, 19 Apr 2016 09:40:56 +0000 Subject: [PATCH] Update wikipage Void-safety: how Eiffel removes null-pointer dereferencing. (Signed-off-by:jocelyn). git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1554 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- ...id-safety-how-eiffel-removes-null-pointer-dereferencing.wiki | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/documentation/trunk/eiffel/Technical_papers/void-safety-how-eiffel-removes-null-pointer-dereferencing.wiki b/documentation/trunk/eiffel/Technical_papers/void-safety-how-eiffel-removes-null-pointer-dereferencing.wiki index 7aa5432f..6f98ef4a 100644 --- a/documentation/trunk/eiffel/Technical_papers/void-safety-how-eiffel-removes-null-pointer-dereferencing.wiki +++ b/documentation/trunk/eiffel/Technical_papers/void-safety-how-eiffel-removes-null-pointer-dereferencing.wiki @@ -11,7 +11,7 @@ Professor C.A.R. Hoare from Microsoft Research, winner of the Turing Award and t :"The invention of the null reference in 1965" [the source of void calls] "has led to innumerable errors, vulnerabilities, and system crashes, which have probably caused a billion dollars of pain and damage in the last forty years." -(Citation at: [http://qconlondon.com/london-2009/presentation/Null+References:+The+Billion+Dollar+Mistake] ) +(Citation at: [http://www.infoq.com/presentations/Null-References-The-Billion-Dollar-Mistake-Tony-Hoare] ) The Eiffel solution relies on a combination of language mechanisms: