4 ms·

Ada?

• ansible 8y ago
  Probably not Ada itself, but I'll a little more closely into SPARK, which is based on a subset of Ada and is intended for high assurance applications. https://en.wikipedia.org/wiki/SPARK_(programming_language) https://en.wikipedia.org/wiki/SPARK_(programming_language)