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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,2ff5c149712ec0eb
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Ada Interfaces and the Liskov Substitution Principle
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <Pine.LNX.4.64.0705232101220.20072@th.informatik.uni-mannheim.de>
 <1179953657.839272.160320@a26g2000pre.googlegroups.com>
 <f32d9o$fi9$1@jacob-sparre.dk>
 <1179991769.376381.252010@m36g2000hse.googlegroups.com>
 <12h6mi42jcha0.7f9vfsnihjwr$.dlg@40tude.net>
 <1180003336.1163.29.camel@kartoffel> <83abvs7sa9.fsf@hod.lan.m-e-leypold.de>
 <465aa5ba$0$23147$9b4e6d93@newsspool1.arcor-online.net>
 <qa3sb6w0a0n9.i2vpzirsrrfc.dlg@40tude.net>
 <465b6606$0$10188$9b4e6d93@newsspool4.arcor-online.net>
Date: Tue, 29 May 2007 14:05:21 +0200
Message-ID: <i3klun83mxpk.kwz6ot6mqpd1.dlg@40tude.net>
NNTP-Posting-Date: 29 May 2007 14:03:05 CEST
NNTP-Posting-Host: c7f1e43d.newsspool4.arcor-online.net
X-Trace: 
 DXC=IgAZ]k2O9<G@Y=h<_c3PkH4IUK<Cl32<A4Fo<]lROoRA4nDHegD_]REkb^B9N@[4_MDNcfSJ;bb[EFCTGGVUmh?DLK[5LiR>kgBEh:eP1i_VVM
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:15963
Date: 2007-05-29T14:03:05+02:00
List-Id: <comp.lang.ada>

On Tue, 29 May 2007 01:32:50 +0200, Georg Bauhaus wrote:

> Dmitry A. Kazakov wrote:
> 
>>> If I had the money, I'd put up a challange that triggers some
>>> programming oriented model research (as opposed to research that
>>> will move the focus of modelling to formal properties of models
>>> only.)
>> 
>> Difference?
> 
> The idealized difference between programming oriented (model) research
> and researching formal properties of models is that, in the first case,
> you do not start from models only and then find different models,
> refine existing models etc.. You start in the programming shop, so to
> speak.

But an application program is always a model of some physical reality.

>   In fact, this is happening. For example, timing properties of
> co-operating procedures are captured in mathematical models. This is
> different from the ubiquitously alleged mathematicality of programming:
> that programs model mathematical functions. Some programs do, but is this
> all that matters?

Yes, because application programming deals with mathematical models of the
reality. I doubt you could skip this abstraction layer.

> Shouldn't the relation between programs and mathematical
> functions be reversed? Wait, it is!

You can consider mathematics or parts of as programming on some "axiomatic
hardware". But this is not programming in usual, narrow sense, which
applies only to physical hardware.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de