On Friday, 6 February 2015 at 05:05:08 UTC, Ola Fosheim Grøstad
wrote:
OT: Have you looked at Ada SPARK 2014 yet? Provides nice and
strong system programming language semantics. With a
verification tool... nice.
http://docs.adacore.com/spark2014-docs/html/ug/spark_2014.html
Even more OT: Most of this doc went over my head. Controlled
types, access types? I only grok that its meant for
safety-critical systems. What's this kind of programming called?
And can you recommend any resources for learning about the
subject from square one?
