From: "G.B." <rm-dash-bau-haus@dash.futureapps.de>
Subject: Re: On contracts and implementations
Date: Thu, 11 Jul 2013 18:14:33 +0200
Date: 2013-07-11T18:14:33+02:00 [thread overview]
Message-ID: <51ded9e9$0$6569$9b4e6d93@newsspool3.arcor-online.net> (raw)
In-Reply-To: <ritnah9zekwf.1fskbxkxmrezv.dlg@40tude.net>
On 11.07.13 16:15, Dmitry A. Kazakov wrote:
> Since contract checks may have no
> effect on program semantics, they cannot be executable.
If the only effect that contract checks may have on program
semantics is to STOP them, they can be executable in read-only
mode as described.
next prev parent reply other threads:[~2013-07-11 16:14 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-07-11 9:35 On contracts and implementations G.B.
2013-07-11 11:56 ` Peter C. Chapin
2013-07-11 14:15 ` Dmitry A. Kazakov
2013-07-11 16:14 ` G.B. [this message]
2013-07-12 21:30 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox