[taos-glug] Re: stack frames

From: "John McDermott" <jjm@xxxxxxxxxx>
To: taos-glug@xxxxxxxxxxxxx
Date: Wed, 16 Jul 2003 11:05:10 -0600

Jonathan Bartlett wrote:
> Using recursion over iteration (and thus doing pure functional programming
> with no assignments) always has the advantage that it's easier to prove
> correctness on using induction.  See
> http://www.eskimo.com/~johnnyb/comptuers/Functional_Programming.html for a
> little more info on the subject.

I remember doing long, arduous proofs of correctness for tiny programs in 
college.  Afterward, though, I was never asked to do a proof of 
correctness.  Maybe that is why so much commercial software is so 
unstable :-)

--john

-- 
John McDermott
Writer, Educator, Consultant
jjm@xxxxxxxxxx          http://www.jkintl.com
V +1 505/377-6293 F +1 505/377-6313

Follow-Ups:

[taos-glug] Re: stack frames
From: Jonathan Bartlett

References:
- [taos-glug] Re: stack frames
  - From: Jonathan Bartlett

[taos-glug] Re: stack frames

Other related posts: