Re: What databases have taught me

> > Anyway, every
> > programming language has a formal definition (event OO languages).
>
> I don't agree. For many languages the only spec is the reference
> implementation, and that doesn't qualify as a formal definition.
> For other languages, there may be a lengthy prose specification
> that attempts to pin down as much as possible, (Java) but that
> still doesn't rise to the level of having an actually defined semantics
> against which important proofs of language behavior have been
> done.

Ok, I restate: Most programming languages has a definition.

Fredrik Bertilsson
http://frebe.php0h.com Received on Wed Jul 05 2006 - 21:18:11 CEST