From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: Implicit actions & program correctness
Date: Fri, 15 May 2020 21:03:37 +0200
Date: 2020-05-15T21:03:37+02:00 [thread overview]
Message-ID: <r9mp29$6nd$1@dont-email.me> (raw)
In-Reply-To: <d4cc5c66-b82a-4ef7-8e69-2fa9b7bd99a6@googlegroups.com>
On 5/15/20 7:45 PM, deadhacker wrote:
>
> It makes me wonder what experienced Ada programmers think of work done implicitly by a program. Have you run into similar practices? Have you been able to talk people into ending them?
I'm not clear what you mean by "implicit actions". In Ada, a lot can be done
automatically by the process called "elaboration". This is generally considered
a good thing. It's not uncommon for everything in significant programs to be
done by elaboration.
On the other hand, elaboration doesn't doe anything that isn't explicitly in the
code, so maybe it isn't what you're thinking about.
On the gripping hand, things like user-defined assignment and indexing and pre-
and post-condition testing might be considered implicit actions.
--
Jeff Carter
"Who wears beige to a bank robbery?"
Take the Money and Run
144
next prev parent reply other threads:[~2020-05-15 19:03 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-05-15 17:45 Implicit actions & program correctness deadhacker
2020-05-15 17:55 ` deadhacker
2020-05-15 18:27 ` Nasser M. Abbasi
2020-05-15 19:01 ` Paul Rubin
2020-05-15 19:03 ` Jeffrey R. Carter [this message]
2020-05-15 20:13 ` deadhacker
2020-05-15 22:09 ` Paul Rubin
2020-05-25 20:15 ` deadhacker
2020-05-25 20:36 ` Niklas Holsti
2020-05-25 22:31 ` Paul Rubin
2020-05-26 8:47 ` Niklas Holsti
2020-05-26 9:55 ` Paul Rubin
2020-05-16 13:52 ` Brian Drummond
2020-05-16 10:10 ` Niklas Holsti
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox