Re: OO foundation

From: Stefan Ram <ram_at_zedat.fu-berlin.de>
Date: 4 Mar 2008 23:39:43 GMT
Message-ID: <formal-20080305003835_at_ram.dialup.fu-berlin.de>


Stefan Nobis <snobis_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.

  But I do not know when you will deem a specification to be   »formal« or a »formal foundation«. Received on Wed Mar 05 2008 - 00:39:43 CET

Original text of this message