From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Inspirels Ada on cortex tutorial linker issue
Date: Fri, 2 Sep 2016 14:53:42 +0200
Date: 2016-09-02T14:53:42+02:00 [thread overview]
Message-ID: <nqbspu$1m79$1@gioia.aioe.org> (raw)
In-Reply-To: cb0f968d-00e3-4de0-b9e2-78ff1c3a92c1@googlegroups.com
On 02/09/2016 14:05, Maciej Sobczak wrote:
> Both Ada and C (or
> C++) are defined with such a high level of abstraction, that
> standard-compliant code will be portable across compilers and platforms.
The flaw in the reasoning is in the definition of portability. Portable
means same source implies equivalent semantics.
Abstraction level of a construct has little to do with the semantics of.
Low-level constructs usually have better and more exact defined
semantics. At the same time the semantics of aggregated constructs may
become very volatile even if the constructs are well-defined themselves,
which is especially so for lower level ones and even more so for
combinations of lower level and higher level constructs.
Ada just has less problems with poorly defined semantics than C/C++.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2016-09-02 12:53 UTC|newest]
Thread overview: 43+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-07-23 5:23 Inspirels Ada on cortex tutorial linker issue Devin
2016-07-23 6:57 ` Simon Wright
2016-07-23 7:34 ` Devin
2016-07-23 8:07 ` Devin
2016-07-23 16:32 ` Simon Wright
2016-07-24 2:32 ` Devin
2016-07-24 7:41 ` Simon Wright
2016-07-25 4:35 ` Devin
2016-07-25 8:07 ` Simon Wright
2016-08-20 22:09 ` Maciej Sobczak
2016-08-21 1:30 ` Devin
2016-08-21 1:37 ` Devin
2016-08-21 14:38 ` Maciej Sobczak
2016-08-22 4:00 ` Devin
2016-08-22 11:37 ` Brian Drummond
2016-08-29 17:49 ` Nicholas Colin Paul de Gloucester
2016-08-29 21:51 ` rieachus
2016-08-30 14:55 ` Nicolas Colin Paul de Gloucester
2016-08-31 0:01 ` Dennis Lee Bieber
2016-08-31 10:15 ` Simon Wright
2016-08-31 12:42 ` Maciej Sobczak
2016-09-01 9:15 ` Alejandro R. Mosteo
2016-09-01 16:33 ` AdaMagica
2016-09-02 0:36 ` Jeffrey R. Carter
2016-09-02 12:05 ` Maciej Sobczak
2016-09-02 12:53 ` Dmitry A. Kazakov [this message]
2016-09-02 15:24 ` G.B.
2016-09-02 21:33 ` Maciej Sobczak
2016-09-03 9:20 ` G.B.
2016-09-03 13:33 ` Alejandro R. Mosteo
2016-09-04 15:08 ` Maciej Sobczak
2016-09-02 13:40 ` AdaMagica
2016-09-03 11:58 ` Brian Drummond
2016-09-03 12:12 ` Björn Lundin
2016-08-30 12:33 ` Brian Drummond
2016-08-30 13:01 ` Simon Wright
2016-08-30 15:06 ` Nicolas Colin Paul de Gloucester
2016-08-31 10:34 ` Brian Drummond
2016-08-31 20:58 ` Simon Wright
2016-09-01 11:08 ` Brian Drummond
2016-08-31 12:47 ` Maciej Sobczak
2016-09-01 0:02 ` Dennis Lee Bieber
2016-09-01 9:03 ` Alejandro R. Mosteo
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox