[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: succinctness = power

For those who might care, btw, the PLT group at Brown is building a
type-like--error detection machine for Excel spreadsheets.  We've
implemented it in PLT Scheme using Paul Steckler's excellent COM
support so it can actually talk to Excel spreadsheets.  It's based on
a theory by Erwig and Burnett, but fixes many problems with their work
which appear, at least at first glance, to stem from their not having
an implementation.  It's too early to tell whether the work is truly
practical, but it can find some nice errors in spreadsheet programs.