[taos-glug] Re: stack frames

> 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 :-)

Once you know how to do them, and you write your programs functionally,
it's much easier to "see" that it's correct within a much better margin of
error than otherwise.

Jon

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

Other related posts: