Editing Pointer (computer programming) (section)

===Ada===
[[Ada (programming language)|Ada]] is a strongly typed language where all pointers are typed and only safe type conversions are permitted. All pointers are by default initialized to <code>null</code>, and any attempt to access data through a <code>null</code> pointer causes an [[Exception handling|exception]] to be raised. Pointers in Ada are called ''[[access type]]s''. Ada&nbsp;83 did not permit arithmetic on access types (although many compiler vendors provided for it as a non-standard feature), but Ada&nbsp;95 supports “safe” arithmetic on access types via the package <code>System.Storage_Elements</code>.