🚀 go-pugleaf

A quick note that might serve to end all this fuss:

It seems to me that many of you are busy energetically expounding on
a different question than the one which whoever-started-this intended
to ask.  That is,

	given program P in language L, I want an analyser that will say:
		P does not halt for these inputs: <list>
		P might or might not halt for these inputs: <list>
	and I would like as few of the latter answers as possible.

For instance, given the program [yes, I use `unnecessary' semicolons]

	program p (input, output);
	    procedure spin; begin while true do {nothing}; end;
	var v : integer;
	begin
	    write('gimme a number');
	    read(v);
	    if v < 0 then spin;
	end.

we would like to have the program analyser say:

	P does not halt when the input value is less than zero.

We would not like to have it say:

	P might or might not halt for any input.

but the latter is acceptable when P is `sufficiently complicated'.
-- 
In-Real-Life: Chris Torek, Lawrence Berkeley Lab CSE/EE (+1 415 486 5427)
Berkeley, CA		Domain:	torek@ee.lbl.gov