Re: The Logic Error Solution

[z007400b@bcfreenet.seflin.lib.fl.us (Ralph Silverman)]

Antti J. Ylikoski (ylikoski@cc.hut.fi) wrote:

: Alan Moses <amoses@hooked.net> wrote:
: Subject: The Logic Error Solution
: Newsgroups: comp.ai
: Path: nntp.hut.fi!news.csc.fi!news.eunet.fi!EU.net!news.sprintlink.net!news.hooked.net!usenet
: Lines: 8
: Message-ID: <31789299.5464@hooked.net>
: NNTP-Posting-Host: chum.hooked.net
: Mime-Version: 1.0
: Content-Type: text/plain; charset=us-ascii
: Content-Transfer-Encoding: 7bit
: X-Mailer: Mozilla 2.0 (Win16; I)

: >I'm currently trying to develop a simple (as if it could be "simple") 
: >program for finding logic errors in VB and C/C++ code. hopefully in an AI 
: >group I can find people who are interested in, or have expierence with, 
: >what might be required to track down elusive logic errors. If so, plese 
: >contact me at amoses@hooked.net and tell me what you know.
: >
: >Thanks.
: >			-Alan


: From the theory of Turing machines, I understand that the problem of
: "finding logic errors in software" is unsolvable.  There have been
: people who have written some kinds of "Infinite Loop Finder" programs,
: but there cannot be any general "error finder" software.

: Cheers,

: 	Andy Ylikoski
: 	Helsinki University of Technology

--
*************begin r.s. response*************

	yes...
	and
	in so far as the problem posed is
		understandable
	it strongly seems to be too
		vague
	to be addressable effectively
	by less than making
	something
		futuristic
	like
		data
	on
		startrek (next generation)
	.

*************end r.s. response***************
Ralph Silverman
z007400b@bcfreenet.seflin.lib.fl.us




--

Ralph Silverman
z007400b@bcfreenet.seflin.lib.fl.us