On May 19, 2005, at 6:56 PM, John Skaller wrote: > On Thu, 2005-05-19 at 13:30 -0700, Brent Fulgham wrote: >> --- Bengt Kleberg <bengt.kleberg@ericsson.com> wrote: > >> How can we judge if a declarative language meets >> an imperitive specification? > > By the output. What if the output was precomputed?