From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,5c89acd494ea9116
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!news4.google.com!feeder1-2.proxad.net!proxad.net!feeder1-1.proxad.net!oleane.net!oleane!hunter.axlog.fr!nobody
From: Jean-Pierre Rosen <rosen@adalog.fr>
Newsgroups: comp.lang.ada
Subject: Re: Self pointer in limited record
Date: Tue, 04 Sep 2007 11:36:37 +0200
Organization: Adalog
Message-ID: <av8jbf.sem.ln@hunter.axlog.fr>
References: <1183577468.034566.57830@n60g2000hse.googlegroups.com>
 <1188578849.187422.280620@50g2000hsm.googlegroups.com>
 <9fy1xoukz1e3$.h574sqmiauri$.dlg@40tude.net>
 <46d968ee$0$30368$9b4e6d93@newsspool4.arcor-online.net>
 <137iu0lr82dtb$.wqy3zjz2vr9q.dlg@40tude.net>
 <46d972e8$0$30384$9b4e6d93@newsspool4.arcor-online.net>
 <1alyfwaig93sk$.99oy269uon$.dlg@40tude.net>
 <46d9c138$0$4531$9b4e6d93@newsspool3.arcor-online.net>
 <1rt8kdcrj6tf.1qgvycc6vh357$.dlg@40tude.net>
 <46db2bf4$0$7699$9b4e6d93@newsspool2.arcor-online.net>
 <re7ei5lc7dzf$.11qtcnh35jmzg$.dlg@40tude.net>
 <1188816674.2630.25.camel@kartoffel.vocalweb.de>
 <9cdmw7k85sey.85sb2t1bjefy$.dlg@40tude.net> <qpahbf.s76.ln@hunter.axlog.fr>
 <1mbajw59c3eir.jyl8bdp6qvj8.dlg@40tude.net>
 <1188850449.2630.60.camel@kartoffel.vocalweb.de>
 <1aza6nzawgcnm.sf76q4dvzw4n$.dlg@40tude.net>
NNTP-Posting-Host: mailhost.axlog.fr
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: s1.news.oleane.net 1188900064 28840 195.25.228.57 (4 Sep 2007
 10:01:04 GMT)
X-Complaints-To: abuse@oleane.net
NNTP-Posting-Date: Tue, 4 Sep 2007 10:01:04 +0000 (UTC)
User-Agent: Thunderbird 2.0.0.6 (Windows/20070728)
In-Reply-To: <1aza6nzawgcnm.sf76q4dvzw4n$.dlg@40tude.net>
Xref: g2news2.google.com comp.lang.ada:1725
Date: 2007-09-04T11:36:37+02:00
List-Id: <comp.lang.ada>

Dmitry A. Kazakov a �crit :
> Abstract data type is an abstraction of concrete data types.
> 
> Abstract state machine is an abstraction of concrete state machines.
> 

Maybe that's where our points of view differ.

To me, an abstract data type is a data type that offers only an abstract 
interface, an interface which is an abstraction of a real-world domain, 
without (visible) references to the implementation. The concrete data 
type is the set of bits used to implement the abstract data type. (and 
similarly for the state machine).

In short: I view the abstract data type as an abstraction of a real 
world object, not of a computer data type.
-- 
---------------------------------------------------------
            J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr