From: rodemann@mathematik.uni-ulm.de (Joerg Rodemann)
Subject: Re: Enforcing assertions in Eiffel
Date: 1997/10/01
Date: 1997-10-01T00:00:00+00:00 [thread overview]
Message-ID: <34321aca.0@news.uni-ulm.de> (raw)
In-Reply-To: 60si0r$kef@peg.apc.org
Morgan Palaeo Associates (morganpalaeo@peg.apc.org) wrote:
> rodemann@mathematik.uni-ulm.de (Joerg Rodemann) wrote:
> ^
> | But on the other hand please do not just continue those long
> | threads about spec/impl and assertions.
> v
> Personally, I think the debates have been very constructive - I've long been
> interested in language philosophy; why languages are designed the way they
> are; and reading the Ada/Eiffel debates has inspired me to think through my
> own opinions. Usually I conclude that the ideal is an imaginary language
> somewhere between Ada and Eiffel. Many thanks to everyone who has
> participated
> in the debates to help make comp.lang.ada an exciting place to visit!!
It seems I have to clarify my statement. I too found those threads quite
interesting. But in the end I noticed at least a lot of repetition of
arguments. From this point of view (as I wrote one line above of the
quoted lines), my statement was just a reminder to check whether these
arguments had already been mentioned.
Regards
Joerg
--
rodemann@mathematik.uni-ulm.de | Dipl.-Phys. Joerg S. Rodemann
Phone: ++49-(0)711-5090670 | Flurstrasse 21, D-70372 Stuttgart, Germany
-------------------------------+---------------------------------------------
rodemann@rus.uni-stuttgart.de | University of Stuttgart, Computing Center
Phone: ++49-(0)711-685-5815 | Visualization Department, Office: 0.304
Fax: ++49-(0)711-678-7626 | Allmandring 30a, D-70550 Stuttgart, Germany
next prev parent reply other threads:[~1997-10-01 0:00 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-09-13 0:00 New copying license for classes/modules: CGPL Wouter Scholten
1997-09-14 0:00 ` Robert Dewar
1997-09-16 0:00 ` Bertrand Meyer
1997-09-17 0:00 ` Robert Dewar
1997-09-17 0:00 ` Robert Dewar
1997-09-17 0:00 ` Joerg Rodemann
1997-09-17 0:00 ` Enforcing assertions in Eiffel Joachim Durchholz
1997-09-29 0:00 ` Joerg Rodemann
1997-09-30 0:00 ` Joachim Durchholz
1997-10-01 0:00 ` Jon S Anthony
1997-10-09 0:00 ` JOVIAL (J3) John R. Fluharty, Jr
1997-10-01 0:00 ` Enforcing assertions in Eiffel Morgan Palaeo Associates
1997-10-01 0:00 ` Joerg Rodemann [this message]
1997-10-01 0:00 ` W. Wesley Groleau x4923
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox