Ada should be mentioned when speaking of programming languages on safety

Posted Apr 19, 2013 15:01 UTC (Fri) by HiggsMechanism (guest, #45665)
In reply to: Ada should be mentioned when speaking of programming languages on safety by Cyberax
Parent article: A taste of Rust

procedure P (X : not null SomeAccessType);