News for hackers. Stuff that matters.

A comment on The SeL4 Foundation: What and Why. Parent comment

Re:The SeL4 Foundation: What and Why by skyde on Tuesday April 07, 2020 @11:54AM (#22804338)
spark version of Ada is such a language but it use design by contract assertion only.
[ Parent | on HN ]

There are no comments on this comment yet.