SCOUG-Programming Mailing List Archives

<< Previous Message << >> Next Message >>

Date:	Wed, 6 Aug 2003 23:01:41 PDT7
From:	"Lynn H. Maxson" <lmaxson@pacbell.net >
Reply-To:	scoug-programming@scoug.com
To:	< "scoug-programming@scoug.com" > scoug-programming@scoug.com >
Subject:	SCOUG-Programming: Re: Warpstock 2003 Presentation

Content Type: text/plain

Steven Levine writes:
"...They do. A large percentage of data processing is done via
spreadsheets by secretaries and administrative types. ..."

I thought we discussed this during our excursion earlier in the
Sundial SIG with respect to MESA. Most of them don't think of
it as programming. Even when they get to writing expressions
in cells. Maybe the secret lies in not telling them it's
programming. Then again, maybe it's not.

By the way don't venture into the area of proving programs
correct. Otherwise you have to disprove the proof that it's
impossible. The two-stage proof engine for completeness and
exhaustive true/false have no concerns with correctness. The
completeness proof, for example, simply indicates whether
you have furnished enough input to allow a logical flow from
your main goals down through all the referenced sub-goals. It
makes no judgments about the goals themselves.

=====================================================

To unsubscribe from this list, send an email message
to "steward@scoug.com". In the body of the message,
put the command "unsubscribe scoug-programming".

For problems, contact the list owner at
"rollin@scoug.com".

=====================================================

Return to [ 06 | August | 2003 ]

SCOUG, Warp Expo West, and Warpfest are trademarks of the Southern California OS/2 User Group. OS/2, Workplace Shell, and IBM are registered trademarks of International Business Machines Corporation. All other trademarks remain the property of their respective owners.