> For example in the last one, search for "The Choice of Language".
That section is non-responsive to what I was wondering about. Once again, I'm looking for decisions made during Ada's creation that were made specifically with formal verification in mind. The section with that title does not discuss that since it's not about Ada's design process at all. The document's date (98-08-17) is another hint that it is not likely to be relevant.
> You will find similar writings in the others.
Would you mind quoting them? I was not able to find relevant passages in the places I looked.
That section is non-responsive to what I was wondering about. Once again, I'm looking for decisions made during Ada's creation that were made specifically with formal verification in mind. The section with that title does not discuss that since it's not about Ada's design process at all. The document's date (98-08-17) is another hint that it is not likely to be relevant.
> You will find similar writings in the others.
Would you mind quoting them? I was not able to find relevant passages in the places I looked.