3 ms·

Honest question: Is there something about Ada that makes it easier to mathematically prove that the code functions as intended?

• duncanj 17y ago
  Ada does have useful things like a formal "denotational" semantics that make it easier than certain other languages. http://www.google.com/search?client=safari&rls=en&q=ada+denotational+semantics&ie=UTF-8&oe=UTF-8 http://www.google.com/search?client=safari&rls=en&q=... Years ago, when I looked into it, an "operational" semantics hadn't been defined for Ada, but it seems that the modern language has a defined subset or profile.
  • epochwolf 17y ago
    "Beware of bugs in the above code; I have only proved it correct, not tried it." - Donald Knuth
    • duncanj 17y ago
      ?