Re: some trivial questions?

["Randy Brukardt" <randy@rrsoftware.com>]

"Paul Rubin" <no.email@nospam.invalid> wrote in message 
news:87mv3fdsi3.fsf@nightsong.com...
> "Randy Brukardt" <randy@rrsoftware.com> writes:
>> Of course, a true proof is hard to do when the rules are primarily 
>> modeled
>> in English as opposed to some formal system.
>
> I'm surprised Ada doesn't have a formal semantics.  Maybe that's
> something that should be fixed?

That was attempted during Ada 9x, but the problem was that there was no way 
for normal humans to see if the formal semantics in fact properly modeled 
the language. Only the authors actually understood the formal model.

Creating a model that both formal and understandable by a run-of-the-mill 
language lawyer and finding volunteers to create the model seems unlikely 
(to say the least).

                                            Randy.