mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2025-12-07 15:22:31 +01:00
Code Issues Packages Projects Releases Wiki Activity

Author:jfiat

Browse Source 
Date:2014-01-28T16:04:01.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1248 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
jfiat
2014-01-28 16:04:01 +00:00
parent 0012ae1b1f
commit 6ee13fcfb0
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
documentation/current/papers/void-safety-how-eiffel-removes-null-pointer-dereferencing.wiki
View File

@@ -26,5 +26,5 @@ The Eiffel solution relies on a combination of language mechanisms:
<li>The "Object Test" instruction lets programmers treat void values in a special way. <li>The "Object Test" instruction lets programmers treat void values in a special way.
</ul> </ul>
The White Paper describes the theoretical and practical challenges of ensuring void safety and presents the Eiffel mechanism. The White Paper (see the link below) describes the theoretical and practical challenges of ensuring void safety and presents the Eiffel mechanism.