Re: OO foundation
Date: Tue, 4 Mar 2008 16:11:43 -0800 (PST)
Message-ID: <68b33af7-e71d-45c4-a2a4-d902c2417cfd_at_u10g2000prn.googlegroups.com>
On Mar 4, 3:39 pm, r..._at_zedat.fu-berlin.de (Stefan Ram) wrote:
> Stefan Nobis <sno..._at_gmx.de> writes:
> >But I wonder what the formal foundations
> >of the OO family of languages is
>
> »The formal foundation of a family of languages« is not a
> well-specified term. What is a »formal foundation«?
> The syntax and semantics of any specific object-oriented
> language is given in the specification of that language.
If it has one. And even if it has a spec, is it formal spec, or a prose spec? The Java spec for example is not formal. Still, that's better than you get from most. With many languages the "spec" is the reference implementation.
> But I do not know when you will deem a specification to be
> »formal« or a »formal foundation«.
Start here:
http://en.wikipedia.org/wiki/Formal_language
Marshall Received on Wed Mar 05 2008 - 01:11:43 CET