void-safety

• Removing the possibility to ignore an exception at the Eiffel level
  by Jocelyn-Fiat (modified: 2013 Sep 26)

  Tags:
  • void-safety
  • exception
  • poll
• How to convert your code to be void-safe?
  by Manu (modified: 2014 Feb 27)

  Tags:
  • tutorial
  • void-safety
  • Article
  • Intermediate
• Void-safety: Background, definition, and tools
  Tags:
  • void-safety
• Mixing void-safe and void-unsafe software
  Tags:
  • void-safety
• Void-safe changes to Eiffel libraries
  Tags:
  • void-safety
• Void-safety: how Eiffel removes null-pointer dereferencing
  Tags:
  • void-safety
  • crash
  • exception
  • null pointer
  • null reference
  • void call
  • void pointer dereferencing
• Converting EiffelVision 2 Systems to Void-Safety
  Tags:
  • void-safety
  • GUI
  • EiffelVision 2
  • Vision2
• Converting existing software to void-safety
  Tags:
  • void-safety
• Void-safe programming in Eiffel
  Tags:
  • void-safety