Subject: [xsl] Re: Re: Re: xsl:for-each evaluator? From: "Dimitre Novatchev" <dnovatchev@xxxxxxxxx> Date: Fri, 13 Jun 2003 06:53:56 +0200 |
"Jeff Kenton" <jkenton@xxxxxxxxxxxxx> wrote in message news:3EE8719E.8010106@xxxxxxxxxxxxxxxx > Dimitre Novatchev wrote: > > One *cannot know* if a program will terminate -- unless this property has a > > strict proof. > > This is known as The Halting Problem. The following link has a nice description of it: > > http://www.wikipedia.org/wiki/Halting_problem Yes, that's nice > On the other hand, the original poster had a program that he knew halted. All he wanted was some instrumentation to count loop iterations and measure timing. To be exact, the OP wrote: "Does anyone know of a program that will evaluate an xsl:for-each loop to tell the number of computations the loop is doing? Or the speed of the algorithm (ie O(n log n) ...)." My answer adresses his last sentence -- claims like "this algorithm has a O(n log n) complexity" always have to be proven. This proof will necessarily include a correctness proof -- hence the halting problem was also mentioned. ===== Cheers, Dimitre Novatchev. http://fxsl.sourceforge.net/ -- the home of FXSL XSL-List info and archive: http://www.mulberrytech.com/xsl/xsl-list
Current Thread |
---|
|
<- Previous | Index | Next -> |
---|---|---|
Re: [xsl] Re: Re: xsl:for-each eval, Jeff Kenton | Thread | [xsl] xhtml and different namespace, Björn Boxstart |
[xsl] Re: how to show one number of, Dimitre Novatchev | Date | RE: [xsl] Problem writing XSLT, Jarno . Elovirta |
Month |