Re: creation

Article View: comp.lang.eiffel

Article #1081

#1081

From: William Stuart-smith
Date: Sat, 23 Jan 1993 21:02

9 lines
707 bytes

On creation procedure postconditions, I said

>It seems correct to me.

Sorry, I retract that. I don't fully understand the 'mathematical
correctness' argument. I haven't had a chance to use Eiffel properly yet.
Also, it is probably time I read OOSC...

This does not affect my question on system validity and '!!'.

Technical Details

Message-ID: <memo.889140@cix.compulink.co.uk>

Path: arc1-ca.pugleaf.net!sparky!uunet!pipex!demon!cix.compulink.co.uk!wil

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!pipex!demon!cix.compulink.co.uk!wil
Newsgroups: comp.lang.eiffel
From: wil@cix.compulink.co.uk (William Stuart-smith)
Subject: Re: creation                            
Cc: wil@cix.compulink.co.uk
Reply-To: wil@cix.compulink.co.uk
Date: Sat, 23 Jan 1993 21:02:00 +0000
Message-ID: <memo.889140@cix.compulink.co.uk>
Sender: usenet@demon.co.uk
Lines: 10